Bookcover of Formalization and Model Checking of Software Architectural Style
Booktitle:

Formalization and Model Checking of Software Architectural Style

LAP LAMBERT Academic Publishing (2015-01-28 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-659-68236-0

ISBN-10:
3659682365
EAN:
9783659682360
Book language:
English
Blurb/Shorttext:
In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as, Monterey Phoenix. Model checking is being carried out by automated tools, viz. Z/EVES, Atelier B, and Alloy Analyzer for Z, B, and Alloy specifications respectively. Furthermore, a comparative analysis of different characteristics shown by varied formal approaches has been presented. Software architecture plays an important role in the high level design of a system in terms of components, connectors, and configurations. The main building block of software architecture is an architectural style that provides domain specific design semantics. In the analysis of complex architectural style, an attempt has been made in our work to formalize one complex style e.g., C2 (component and connector) using formal specification language Alloy. For consistency checking of modeling notations, the model checker tool e.g., Alloy Analyzer is used.
Publishing house:
LAP LAMBERT Academic Publishing
Website:
https://www.lap-publishing.com/
By (author) :
Ashish Kumar Dwivedi
Number of pages:
80
Published at:
2015-01-28
Stock:
Available
Category:
Informatics, IT
Price:
39.90 €
Keywords:
Formal Methods, Software Architecture, Software Engineering

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING