Konferenzbeitrag
Zustandstypen als Schlüssel zur Integration statischer und dynamischer Sichten der objektorientierten Modellierung
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.