• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formalisierung und Modellprüfung des Softwarearchitekturstils

Formalisierung und Modellprüfung des Softwarearchitekturstils

Paperback

General Computers

ISBN10: 6202428759
ISBN13: 9786202428750
Publisher: Verlag Unser Wissen
Published: Sep 6 2025
Pages: 92
Weight: 0.30
Height: 0.22 Width: 6.00 Depth: 9.00
Language: German
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.

Also in

General Computers