In this paper we demonstrate 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 Object-Oriented Technology, ECOOP'97 Workshop Reader, Springer Verlag, LNCS 1357.