Kurzfassung

Basierend auf dem EER/GRAL-Ansatz wird die abstrakte Syntax von Entwurfsbeschreibungssprachen deklarativ beschrieben. Dieser Ansatz erlaubt die Syntaxspezifikation auch visueller Sprachen sowie die Integration verschiedener Beschreibungsformen. Auf diese Weise ist eine feingranulare Beschreibung der Dokumentsprachen der objekt-orientierten Ansätze von Rumbaugh et al. und von Booch einschließlich deren Integration erfolgt. Für Dokumente, die in visuellen Modellierungssprachen geschrieben sind,...Basierend auf dem EER/GRAL-Ansatz wird die abstrakte Syntax von Entwurfsbeschreibungssprachen deklarativ beschrieben. Dieser Ansatz erlaubt die Syntaxspezifikation auch visueller Sprachen sowie die Integration verschiedener Beschreibungsformen. Auf diese Weise ist eine feingranulare Beschreibung der Dokumentsprachen der objekt-orientierten Ansätze von Rumbaugh et al. und von Booch einschließlich deren Integration erfolgt. Für Dokumente, die in visuellen Modellierungssprachen geschrieben sind, wird aufbauend auf der Beschreibung der abstrakten Sprachsyntax eine operationale Spezifikation der Semantik durch die Angabe der möglichen Konfigurationen und Konfigurationsübergänge spezifiziert. Für die von Engels und Groenewegen entwickelte UML-basierte Koordinationsbeschreibungssprache SOCCA wurde eine vollständige Spezifikation erstellt [120]. Für Teile der von U. Frank entwickelten Modellierungssprache MEMO wurde von J. Zickhardt eine Semantik angegeben [D517]. Als spezielle Fragestellung aus dem Bereich der objekt-orientierten Analyse- und Entwurfsmethoden wurde die Integration der Beschreibung des dynamischen Verhaltens von Objekten mit der Strukturbeschreibung im Zusammenhang mit Spezialisierung und Generalisierung behandelt (in Zusammenarbeit mit G. Engels). Weitere Info im WWW: http://www.uni-koblenz.de/ist/formalapp.html» weiterlesen» einklappen