The ROOM (Real-Time Object-Oriented Modeling) methodology was developed specifically for dealing with distributed real-time systems based on the object paradigm. For describing high-level concurrent behavior of systems, ROOM uses a variation of the basic statechart visual formalism. This variation was driven by two sets of requirements. First, we wanted to integrate some of the more powerful aspects of the object paradigm, such as inheritance, with the statechart formalism. In addition, based on our own experience with finite-state machine descriptions, we felt that statecharts had a potential to be used not only for specification but also for implementation. Consequently, we filtered the set of basic statechart concepts, modifying some, removing others and introducing new ones, based on their implementability using state-ofthe-art technology. The result is a highly efficient and expressive formalism which can be applied from the early phases of development (analysis) all the way to implementation. This eliminates some of the error-prone paradigm shifts which characterized traditional system development processes. This new formalism has been incorporated into a commercial toolset and has been used extensively in the design of a large number of real-time systems.
[1]
Nancy A. Lynch,et al.
Impossibility of distributed consensus with one faulty process
,
1985,
JACM.
[2]
Bran Selic,et al.
ROOM: an object-oriented methodology for developing real-time systems
,
1992,
[1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering.
[3]
Derek Coleman,et al.
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
,
1992,
IEEE Trans. Software Eng..
[4]
Iso. Lotos,et al.
A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
,
1985
.
[5]
Amir Pnueli,et al.
On the Formal Semantics of Statecharts (Extended Abstract)
,
1987,
LICS.
[6]
Grady Booch,et al.
Object-Oriented Design with Applications
,
1990
.
[7]
David Harel,et al.
Statecharts: A Visual Formalism for Complex Systems
,
1987,
Sci. Comput. Program..
[8]
William E. Lorensen,et al.
Object-Oriented Modeling and Design
,
1991,
TOOLS.
[9]
Robin Milner,et al.
Communication and concurrency
,
1989,
PHI Series in computer science.