OMTROLL - Object Modeling in Troll

R.J. Wieringa, R. Jungclaus, P. Hartel, G. Saake, T. Hartmann

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    16 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 languageEnglish
    Title of host publicationProceedings of the International Worskshop on Information Systems - Correctness and Reusability
    Subtitle of host publicationIS-CORE '93, Hannover, September 1993
    EditorsUdo W. Lipeck, Gerhard Koschorrek
    Place of PublicationHannover
    PublisherUniversität Hannover
    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

    Publication series

    NameUni Hannover Informatik-Berichte
    PublisherUniversität Hannover

    Workshop

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

    Keywords

    • SCS-Services

    Fingerprint

    Dive into the research topics of 'OMTROLL - Object Modeling in Troll'. Together they form a unique fingerprint.

    Cite this