OMTROLL - Object Modeling in Troll

摘要: We make an attempt to use concepts of the OMT analysis stage develop formal object-oriented specifications in Troll language. The purpose is twofold: on one hand, ambiguities, vaguenesses, etc. (and other OOA approaches) can be discovered and eliminated easier; furthermore, clear semantics given modeling constructs. On a popular notation top OO specification language helps making such more usable practice. After introducing briefly concepts, we analyze models identify corresponding concepts. Finally, introduce modified graphical based this analysis.