A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM

Roelf J. Wieringa, G. Saake

    Research output: Book/ReportReportOther research output

    42 Downloads (Pure)


    This report compares two notation systems for requirements modeling, the notations used in the Shlaer-Mellor method for object-oriejted analysis and the notations used in TCM (Toolkit for Conceptual Modeling). Both notations systems are semi-formal, but in addition, TCM contains a formal part that allows writing a specification in LCM (Language for Conceptual Modeling), a language based on order-sorted dynamic logic. The formal and semi-formal parts of a TCM specification supplement each other and each can be used without using the other. Because the semi-formal and formal notations in TCM are precisely related, the semi-formal notations have unambiguous definitions and the formal notations have simple and clear digaram representations.
    Original languageUndefined
    Place of PublicationAmsterdam
    PublisherVrije Universiteit Amsterdam
    Number of pages66
    Publication statusPublished - 9 Oct 1995

    Publication series

    NameTechnical Report / Faculty of Mathematics and Computer Science
    PublisherFree University, Faculty of Mathematics and Computer Science


    • SCS-Services
    • IR-80476
    • EWI-10711

    Cite this