Formalisierung und Modellprüfung des Softwarearchitekturstils - Softcover

Dwivedi, Ashish Kumar

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Verlag Unser Wissen
Erscheinungsdatum
2025
Sprache
Deutsch
ISBN 10 
6202428759
ISBN 13 
9786202428750
Einband
Tapa blanda
Anzahl der Seiten
92
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar