Back to University of Twente portal
A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM
Wieringa, R.J. and Saake, G. (1995) A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 541Kb |
| 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. |
| Item Type: | Report |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/80476 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page