Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
De En Es
Kundenservice: +49 (0) 551 - 547 24 0

Cuvillier Verlag

30 Jahre Kompetenz im wissenschaftlichen Publizieren
Internationaler Fachverlag für Wissenschaft und Wirtschaft

Cuvillier Verlag

Premiumpartner
De En Es
Titelbild-leitlinien
Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement

Printausgabe
EUR 27,00 EUR 25,65

E-Book
EUR 18,90

Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement

Bastian Dölle (Autor)

Vorschau

Inhaltsverzeichnis, Datei (44 KB)
Leseprobe, Datei (88 KB)

ISBN-13 (Printausgabe) 3867274525
ISBN-13 (Printausgabe) 9783867274524
ISBN-13 (E-Book) 9783736924529
Sprache Englisch
Seitenanzahl 174
Auflage 1 Aufl.
Band 0
Erscheinungsort Göttingen
Promotionsort Lübeck
Erscheinungsdatum 12.12.2007
Allgemeine Einordnung Dissertation
Fachbereiche Mathematik
Informatik
Schlagwörter Algebraische Spezifikation, objektorientierte Spezifikation, Spezifikationsverfeinerung, UML, Software-Komponenten
Beschreibung

This thesis presents a formal method how to refine algebraic specifications into object-oriented specifications in a systematic way. Thereby, we highlight the conceptual differences between algebraic specifications and object-oriented modeling. The correctness of the refinement step is established by preserving the models of the algebraic specification respecting a natural semantic relation. The thesis also comprises a basic system model for object-oriented systems and a comprehensive case study demonstrating the refinement step. Moreover, we survey the prototype system ASIOS which is an interactive tool mechanizing the transformation of algebraic specifications into object-oriented specifications.
The basic system model for object-oriented systems serves to precisely define the semantics of object-oriented specifications. This way, it lays the formal foundation for the proof of the correctness of the transformation.
The applicability of the transformation is demonstrated by a case study using the well-known abstract data type "stacks of natural numbers’’. We investigate the transformation for characteristic design choices of the respective design space, and we present object-oriented classes which provide interpretations for the resulting object-oriented specifications. Furthermore, we give an implementation of each of these classes in the object-oriented programming language JAVA.
All transformation procedures have been implemented in the prototype system ASIOS. The tool supports the transformation process with a graphical user interface providing the necessary guidance for the programmer in making various design choices. ASIOS includes an editor for entering algebraic specifications in CASL notation which is realized as an Eclipse plug-in. The tool results with UML class diagrams and sequence diagrams that can be exported as XMI files.
The thesis shows that algebraic specifications can be refined into object-oriented specifications in a profound way. The transformation bridges the gap between functional specification concepts and object-oriented modeling techniques, and thus contributes to a better understanding of object-oriented software construction. Moreover, an important area of application comprises the mechanized top-down development of software components.