{"product_id":"formal-semantics-and-verification-of-use-case-maps-von-jameleddine-hassine","title":"Formal Semantics and Verification Of Use Case Maps","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783639514995\"\u003e\u003ch3\u003eAn early stages Validation and Verification Approach\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783639514995","offer_id":39484106047581,"sku":"9783639514995","price":94.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0cb505ff-c322-4ad2-bf62-4d1dccf1fb97.jpg?v=1776054434","url":"https:\/\/shop.autorenwelt.de\/en\/products\/formal-semantics-and-verification-of-use-case-maps-von-jameleddine-hassine","provider":"Autorenwelt Shop","version":"1.0","type":"link"}