Bookcover of Formal Semantics and Verification Of Use Case Maps
Booktitle:

Formal Semantics and Verification Of Use Case Maps

An early stages Validation and Verification Approach

Scholars' Press (2013-06-26 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-639-51499-5

ISBN-10:
3639514998
EAN:
9783639514995
Book language:
English
Blurb/Shorttext:
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.
Publishing house:
Scholars' Press
Website:
http://www.scholars-press.com
By (author) :
Jameleddine Hassine
Number of pages:
296
Published on:
2013-06-26
Stock:
Available
Category:
Other
Price:
94.90 €
Keywords:
requirements engineering, Formal Methods, model checking, Abstract State Machines, temporal logic, timed automata, Keywords relating to your book: Use Case Maps, validation & Verification, Timed Use Case Maps, Clocked Transition Systems

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING