Formalisierung und Modellprüfung des Softwarearchitekturstils - Couverture souple

Dwivedi, Ashish Kumar

 
9786202428750: Formalisierung und Modellprüfung des Softwarearchitekturstils
Couverture souple
ISBN 10 : 6202428759 ISBN 13 : 9786202428750
Editeur : Verlag Unser Wissen, 2025

Synopsis

In dieser Studie werden formale Modelle des ATM-Systems unter Verwendung zustandsbasierter Sprachen wie Z, B und Alloy sowie ereignisbasierter Sprachen wie Monterey Phoenix beschrieben. Die Modellprüfung wird mit automatisierten Tools durchgeführt, nämlich Z/EVES, Atelier B und Alloy Analyzer für Z-, B- und Alloy-Spezifikationen. Darüber hinaus wird eine vergleichende Analyse der unterschiedlichen Eigenschaften verschiedener formaler Ansätze vorgestellt. Die Softwarearchitektur spielt eine wichtige Rolle beim High-Level-Design eines Systems in Bezug auf Komponenten, Konnektoren und Konfigurationen. Der Hauptbaustein der Softwarearchitektur ist ein Architekturstil, der domänenspezifische Designsemantik bereitstellt. Bei der Analyse komplexer Architekturstile haben wir in unserer Arbeit versucht, einen komplexen Stil, z. B. C2 (Komponente und Konnektor), mithilfe der formalen Spezifikationssprache Alloy zu formalisieren. Zur Konsistenzprüfung von Modellierungsnotationen wird das Modellprüfungswerkzeug Alloy Analyzer verwendet.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Verlag Unser Wissen
Date d'édition
2025
Langue
allemand
ISBN 10 
6202428759
ISBN 13 
9786202428750
Reliure
Broché
Nombre de pages
92
Coordonnées du fabricant
non disponible
Personne responsable
non disponible