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

    18 Downloads (Pure)

    Abstract

    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
    PublisherFree University, Faculty of Mathematics and Computer Science
    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
    No.IR-393

    Keywords

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

    Cite this