OMTROLL - Object Modeling in Troll

Udo W. Lipeck (Editor), Roelf J. Wieringa, G. Koschorrek (Editor), R. Jungclaus, P. Hartel, G. Saake, T. Hartmann

    Research output: Contribution to conferencePaperAcademic

    23 Downloads (Pure)

    Abstract

    We make an attempt to use concepts of the OMT analysis stage to develop formal object-oriented specifications in the Troll language. The purpose is twofold: on the one hand, ambiguities, vaguenesses, etc.\ in OMT (and other OOA approaches) can be discovered and eliminated easier; furthermore, clear semantics can be given to modeling constructs. On the other hand, a popular notation on top of a formal OO specification language helps in making such a language more usable in practice. After introducing briefly Troll concepts, we analyze the OMT models and identify corresponding Troll concepts. Finally, we introduce a modified graphical notation based on this analysis.
    Original languageUndefined
    Pages267-283
    Number of pages17
    Publication statusPublished - Sep 1993
    EventInternational Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993 - Hannover, Germany
    Duration: 1 Sep 19931 Sep 1993

    Workshop

    WorkshopInternational Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993
    Period1/09/931/09/93
    OtherSept 1993

    Keywords

    • SCS-Services
    • IR-76212
    • EWI-10662

    Cite this