Abstract
We make an attempt to use concepts of the OMT analysis stage to develop formal object-oriented specifications in the Troll language. The purpose is twofold: on the one hand, ambiguities, vaguenesses, etc.\ in OMT (and other OOA approaches) can be discovered and eliminated easier; furthermore, clear semantics can be given to modeling constructs. On the other hand, a popular notation on top of a formal OO specification language helps in making such a language more usable in practice. After introducing briefly Troll concepts, we analyze the OMT models and identify corresponding Troll concepts. Finally, we introduce a modified graphical notation based on this analysis.
Original language | Undefined |
---|---|
Pages | 267-283 |
Number of pages | 17 |
Publication status | Published - Sep 1993 |
Event | International Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993 - Hannover, Germany Duration: 1 Sep 1993 → 1 Sep 1993 |
Workshop
Workshop | International Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993 |
---|---|
Period | 1/09/93 → 1/09/93 |
Other | Sept 1993 |
Keywords
- SCS-Services
- IR-76212
- EWI-10662