Formalisierung und Modellprüfung des Softwarearchitekturstils [German]

By Ashish Kumar Dwivedi

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.

• Format: Paperback
• Language: German
• ISBN: 6202428759
• ISBN13: 9786202428750
• Release Date: September 2025
• Publisher: Verlag Unser Wissen
• Length: 92 Pages
• Weight: 0.30 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"