Placeholder text

Go to cart

Formalisierung und Modellprüfung des Softwarearchitekturstils

By Dwivedi, Ashish Kumar

Formalisierung und Modellprüfung des Softwarearchitekturstils

By Dwivedi, Ashish Kumar

0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
92
Publication Date:
2025-09-06
Publisher:
Verlag Unser Wissen
Languages:
Original: German
ISBN10:
6202428759
ISBN13:
9786202428750
GPSR Manufacturer Reference:
[email protected]
Weight:
155 g
Height:
150 cm
Width:
220 cm
Thickness:
6 cm
Buy on Amazon
Currently sold out