Spezifikation von Objektsystemen

TitleSpezifikation von Objektsystemen
Publication TypeConference Paper
Year of Publication1992
Publicno
AuthorsHartmann, T., R. Jungclaus, G. Saake, and H. - D. Ehrich
Conference NameObjektbanken für Experten
PublisherSpringer, Berlin, Reihe Informatik aktuell
Abstract

Die konzeptionelle Modellierung des Weltausschnitts, der durch ein Informationssystem dargestellt werden soll, ist die entscheidende Phase beim Systementwurf, da das konzeptionelle Modell die Grundlage der Implementierung ist. Eine Sprache zur konzeptionellen Modellierung sollte daher auf einer soliden formalen Grundlage basieren, um einerseits die systematische Konstruktion einer Implementierung, andererseits eine frühe Animation zu ermöglichen. \par In diesem Artikel wird die Sprache \tt TROLL vorgestellt, die auf einem prozeß orientierten Objektmodell basiert. \tt TROLL ermöglicht die deklarative Beschreibung der statischen sowie der dynamischen Aspekte eines zu beschreibenden Weltausschnittes mit Hilfe von Objekten.

AttachmentSize
1992ObjBankExpert.pdf1.72 MB