Analysing Object Specifications for Execution

TitleAnalysing Object Specifications for Execution
Publication TypeConference Proceedings
Year of Conference1998
AuthorsGrau, A.
Conference Name10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998
PublisherKonstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz

Tool support helps developers of information systems to considerably increase the accuracy and quality of its models. The use of formal languages in the conceptual modelling process allows the construction of powerful validation tools by executing the model. Executing a model is a very difficult task, when not impossible, due to the high level of abstraction in which it is described. In this paper we analyse some aspects to be taken into account when executing models specified with the formal object-oriented language \sc Troll.