Currently popular object-oriented modelling methods, when applied to computer-based control systems, mostly produce incomplete and fragmented models consisting mainly of state transition diagrams and message passing diagrams. Such shortcomings can limit the model's usefulness in the development process. We present a formally-based object-oriented method to construct a precise and complete analysis model of the system, which can easily be converted into a simulation of the system or a prototype operating in the real environment
Published in:
Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings
Date of Conference: Sep 1997