Synopsis
Dans cette étude, les modèles formels de système ATM sont décrits en utilisant des langages basés sur l'état tels que Z, B et Alloy ainsi que des langages basés sur des événements tels que Monterey Phoenix. La vérification des modèles est effectuée par des outils automatisés, à savoir : Z/EVES, Atelier B et Analyseur d'alliage pour Z, B et Alloy spécifications respectivement. En outre, une analyse comparative des différentes caractéristiques montrées par diverses approches formelles a été présentée. L'architecture logicielle joue un rôle important dans la conception de haut niveau d'un système en termes de composants, de connecteurs et de configurations. Le bloc de construction principal de l'architecture logicielle est un style architectural qui fournit une sémantique de conception spécifique au domaine. Dans l'analyse du style architectural complexe, une tentative a été faite dans notre travail pour formaliser un style complexe, par exemple, C2 (composant et connecteur) en utilisant un langage de spécification formelle Alliage. Pour vérifier la cohérence des notations de modélisation, l'outil de vérification de modèle, par exemple, Alloy Analyzer est utilisé.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formalization and Model Checking of Software Architectural...
Image fournie par le vendeur
Formalization and Model Checking of Software Architectural Style
Edité par
LAP LAMBERT Academic Publishing Jan 2015, 2015
ISBN 10 : 3659682365
ISBN 13 : 9783659682360
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 80 pp. Englisch. N° de réf. du vendeur 9783659682360
Acheter neuf
EUR 39,90
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formalization and Model Checking of Software Architectural Style
Edité par
LAP LAMBERT Academic Publishing, 2015
ISBN 10 : 3659682365
ISBN 13 : 9783659682360
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Dwivedi Ashish KumarAshish Kumar Dwivedi did his B. Tech. from Uttar Pradesh Technical University Lucknow, India, and M. Tech.(R) from National Institute of Technology Rourkela, India. Currently, he is pursuing my Ph. D. from Nationa. N° de réf. du vendeur 158223935
Acheter neuf
EUR 34,25
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formalization and Model Checking of Software Architectural Style
Edité par
LAP LAMBERT Academic Publishing Jan 2015, 2015
ISBN 10 : 3659682365
ISBN 13 : 9783659682360
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 80 pp. Englisch. N° de réf. du vendeur 9783659682360
Acheter neuf
EUR 39,90
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formalization and Model Checking of Software Architectural Style
Edité par
LAP LAMBERT Academic Publishing, 2015
ISBN 10 : 3659682365
ISBN 13 : 9783659682360
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783659682360
Acheter neuf
EUR 39,90
Expédition à EUR 60,69
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formalization and Model Checking of Software Architectural Style
Edité par
LAP LAMBERT Academic Publishing, 2015
ISBN 10 : 3659682365
ISBN 13 : 9783659682360
Neuf
Taschenbuch
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Formalization and Model Checking of Software Architectural Style | Ashish Kumar Dwivedi | Taschenbuch | Englisch | 2015 | LAP LAMBERT Academic Publishing | EAN 9783659682360 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. N° de réf. du vendeur 113180076
Acheter neuf
EUR 36,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)