Jameleddine Hassine

Formal Semantics and Verification Of Use Case Maps

An early stages Validation and Verification Approach

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Scholar's Press
• Seitenzahl: 296
• Erscheinungstermin: 26. Juni 2013
• Englisch
• Abmessung: 220mm x 150mm x 18mm
• Gewicht: 459g
• ISBN-13: 9783639514995
• ISBN-10: 3639514998
• Artikelnr.: 39726203

Autorenporträt

Dr. Jameleddine Hassine holds a PhD degree in Computer Science from Concordia University, Canada in 2008. Dr. Hassine has over 7 years of industrial experience within worldwide telecommunication companies (Nortel Networks and Cisco Systems). He published many papers in referred journals and conferences in his area of research.