Portal de Periódicos da CAPES

Combining Troll with the Object Modeling Technique

1994; Springer Nature; Linguagem: Inglês

10.1007/978-3-642-51136-3_5

2628-8958

Ralf Jungclaus, Roel Wieringa, Peter Härtel, Gunter Saake, Thorsten Hartmann,

Advanced Software Engineering Methodologies

The focus of this paper is the development of a formally based object-oriented modeling formalism called oMmOLL by using features from mostly informal object-oriented modeling approaches (mainly OMT) and from a formal object-oriented specification 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 specification approaches. Based on a brief analysis of OMT against Troll we will present OMTROLL using examples.