OMTROLL - Object Modeling in Troll

Wieringa, R.J. and Jungclaus, R. and Hartel, P. and Saake, G. and Hartmann, T. (1993) OMTROLL - Object Modeling in Troll. In: International Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993, Sept 1993, Hannover, Germany.

Preview

PDF
240Kb

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.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS)
Link to this item:	http://purl.utwente.nl/publications/76212
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page