Skip to main content
Article thumbnail
Location of Repository

A comparison of the notations used in the Shlaer-Mellor method and in TCM

By G. (Magdeburg Univ. (Germany). Inst. fuer Technische Informationssysteme) Saake, R.J. (Amsterdam Univ. (Netherlands). Dept. of Mathematics and Computer Science) Wieringa and Magdeburg Univ. (Germany). Fakultaet fuer Informatik

Abstract

This report compares two notation systems for requirements modeling, the notations used in the Shlaer-Mellor method for object-oriented analysis and the notations uses in TCM (Toolkit for Conceptual Modeling). The notations used in the Shlaer-Mellor method are semi-formal, i.e. they consist of diagrams annotated by natural language text. The notations used in TCM are semi-formal, as in the Shlaer-Mellor notation, but there is also a formal part. The formal part of a TCM specification is written down 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 diagram representations. The report analyzes the notations used for information model, state model, process model and communication model used in the Shlaer-Mellor method and shows how these relate to the notations used for the class model, life cycle model and communication model in TCM. It is shown that the notations of the Shlaer-Mellor method contain ambiguities and redundancies, that are resolved when we transform these notations into TCM notations. However, some of these redundancies provide useful information and TCM is extended with a simplified form of some of the Shlaer-Mellor notations. (orig.)Available from TIB Hannover: RR 4485(1995,11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Topics: 09H - Computer software, programming, FORMAL NOTATIONS: M, SOFTWARE SYSTEM: M, CONCEPTUAL MODELS, SEMI-FORMAL NOTATIONS, STRUCTURED METHODS, OBJECT-ORIENTED METHODS, SHLAER-MELLOR METHOD, INFORMATION MODEL, STATE MODEL, PROCESS MODEL, OBJECT COMMUNICATION MODEL
Year: 1995
OAI identifier:
Provided by: OpenGrey Repository
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/10068/15... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.