In this paper we present a possible way how a precise semantics of object-oriented modeling techniques can be achieved and what the possible benefits are. We outline the main modeling techniques used in the Syslab project, sketch how a precise semantics can be given, and how this semantics can be used during the development process.
In Proc. of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, TUM-I9725.