Publikation

Titel:

„Zustandstypen als Schlüssel zur Integration statischer und dynamischer Sichten der objektorientierten Modellierung“

AutorInnen:

Friedrich Steimann
Thomas Kühne

Kategorie:

Konferenzbandbeiträge

erschienen in:

HC Mayer (Hrsg) Tagungsband zur Modellierung 2006, LNI 82 (2006) 145-160

Abstract:

Die objektorientierte Modellierung ist als eine Sammlung bewährter, aber nicht unbedingt zur kombinierten Verwendung bestimmter Notationen und Formalismen entstanden. So besteht bis heute ein Bedarf an Ansätzen zur Integration der verschiedenen, durch die Einzelformalismen gewährten Sichten auf ein modelliertes System. In dieser Arbeit präsentieren wir Zustandstypen als Bindeglied zwischen (statischen) Strukturspezifikationen und (dynamischen) Verhaltensspezifikationen. Wir zeigen, daß sich diese Zustandstypen auf natürliche Weise als Subtypen von Klassen ergeben, die ihr Verhalten über Zustandsautomaten spezifizieren und so erlauben, Assoziations- und Methodendeklarationen zustandsabhängig zu überschreiben. Daraus ergeben sich einige interessante Integrationsansätze, die wir skizzenhaft beschreiben.

Download:

PDF