Combining \sc Troll with the Object Modeling Technique

TitleCombining \sc Troll with the Object Modeling Technique
Publication TypeConference Proceedings
Year of Conference1994
AuthorsJungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann
Conference NameInnovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software
PublisherSpringer, Informatik aktuell

The focus of this paper is the development of a formally based object-oriented modeling formalism called \sc omTroll by using features from mostly informal object-oriented modeling approaches (mainly OMT) and from a formal object-oriented specification approach (\sc Troll). The goals of our approach are to improve popular informal modeling techniques by giving formal semantics to modeling constructs and to improve the applicability of formally-based specification approaches. Based on a brief analysis of OMT against \sc Troll we will present \sc omTroll using examples.