Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Formal Semantics and Verification Of Use Case Maps


Marketed By :  Scholars' Press   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Rs. 7,070

Availability: In stock

  • Product Description

This book proposes a novel methodology combining the semi-formal scenario-based Use Case Maps (UCM) language with formal techniques to help comprehend, validate and verify requirements. Use Case Maps (UCM), part of the ITU-T standard User Requirements Notation (URN) Z.151, allows for the description of functional requirements and high-level designs at early stages of the development process. The book proposes a rigorous formal semantics for Use Case Maps based on Abstract State Machines (ASM) formalism. The resulting semantics are expressed in AsmL, an advanced ASM-based executable specification language. Furthermore, the Use Case Maps language is extended to cover timing constraints. A potential timed version of UCM (called Timed UCM) is formalized using Clocked Transition Systems (CTS) and Timed Automata (TA). In addition, the book proposed a novel UCM-based property pattern system that combines qualitative, real-time and architectural properties into a single graphical representation. The resulting pattern system is mapped to popular temporal logics such as CTL, TCTL and ArTCTL (Architectural real-time temporal logic), which extends TCTL with architectural scopes.

Product Specifications
SKU :COC91390
AuthorJameleddine Hassine
Number of Pages296
Publishing Year2013-06-26T00:00:00.000
Edition1 st
Book TypeSociology
Country of ManufactureIndia
Product BrandScholars' Press
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08 00:00:00