A systematic and traceable progression from scenario models to communicating hierarchical state machines.
Francis Bordeleau · 2000
... of activity in today's society: telephony, banking, health care, traffic control, manufacturing, avionics, aerospace, management systems, etc. In the last decade, the object-oriented paradigm has emerged as a leading development technology in the real-time system industry. Existing object-oriented methodologies allow smoothing the transition between requirements and implementation by combining the use of different types of models to express different views of the systems. In spite of the fact that the object-oriented technology has allowed important progress in the development of complex real-time systems, significant problems remain. Two of these problems are the lack of traceability between models, and the lack of model transition techniques. This