Combining Troll with the Object

Abstract

The focus of this paper is the development of a formally based object-oriented modeling formalism called OMTROLL by using features >from mostly informal object-oriented modeling approaches (mainly OMT) and from a formal object-oriented speciication approach (Troll). The goals of our approach are to improve popular informal modeling techniques by giving formal semantics to modeling constructs and to improve the applicability of formally-based speciication approaches. Based on a brief analysis of OMT against Troll we will present OMTROLL using examples.

Cite this paper

@inproceedings{Jungclaus1994CombiningTW, title={Combining Troll with the Object}, author={Ralf Jungclaus and Roel J. Wieringax and Peter Hartel and Gunter Saake and Thorsten Hartmann}, year={1994} }