@inproceedings{5fa9a8c07dd2438c834719dc049e1b68,
title = "OMTROLL - Object Modeling in Troll",
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.",
keywords = "SCS-Services",
author = "R.J. Wieringa and R. Jungclaus and P. Hartel and G. Saake and T. Hartmann",
year = "1993",
month = sep,
language = "English",
series = "Uni Hannover Informatik-Berichte",
publisher = "Universit{\"a}t Hannover",
pages = "267--283",
editor = "Lipeck, {Udo W.} and Gerhard Koschorrek",
booktitle = "Proceedings of the International Worskshop on Information Systems - Correctness and Reusability",
address = "Germany",
note = "International Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993 ; Conference date: 01-09-1993 Through 01-09-1993",
}