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 language | Undefined |
|---|---|
| Place of Publication | Amsterdam |
| Publisher | Free University, Faculty of Mathematics and Computer Science |
| Number of pages | 66 |
| Publication status | Published - 9 Oct 1995 |
Publication series
| Name | Technical Report / Faculty of Mathematics and Computer Science |
|---|---|
| Publisher | Free University, Faculty of Mathematics and Computer Science |
| No. | IR-393 |
Keywords
- SCS-Services
- IR-80476
- EWI-10711
Cite this
Wieringa, R. J., & Saake, G. (1995). A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM. (Technical Report / Faculty of Mathematics and Computer Science; No. IR-393). Amsterdam: Free University, Faculty of Mathematics and Computer Science.