Logo - Fakultät Illustration
 

Publikation

Titel:

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

AutorInnen: Friedrich Steimann
Thomas Kühne
Kategorie: Konferenzen und Workshops
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
06.05.2008 12:21
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Programmiersysteme, 58084 Hagen, Tel.: +49 2331 987-2998