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

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, Assoziationsund Methodendeklarationen zustandsabhängig zu überschreiben. Daraus ergeben sich einige interessante Integrationsansätze, die wir skizzenhaft beschreiben.