.gif)
Combining \sc Troll with the Object Modeling Technique
| Title | Combining \sc Troll with the Object Modeling Technique |
| Publication Type | Conference Proceedings |
| Year of Conference | 1994 |
| Authors | Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann |
| Conference Name | Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software |
| Pagination | 35-42 |
| Publisher | Springer, Informatik aktuell |
| Abstract | The focus of this paper is the development of a formally based object-oriented modeling formalism called \sc omTroll by using features from mostly informal object-oriented modeling approaches (mainly OMT) and from a formal object-oriented specification approach (\sc 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 \sc Troll we will present \sc omTroll using examples. |
| Public | no |