Executable object modeling with statecharts

This paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. The goal is for models to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object-oriented languages such as C++. At the heart of the modeling method is the language of statecharts for specifying object behavior, and a hierarchical OMT-like language for describing the structure of classes and their inter-relationships, that we call O-charts. Objects can interact by event generation, or by direct invocation of operations. In the interest of keeping the exposition manageable, we leave out some technically involved topics, such as multiple-thread concurrency and active objects.

[1]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[2]  Doron Drusinsky,et al.  On the power of bounded concurrency I: finite automata , 1994, JACM.

[3]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[4]  Stephen J. Mellor,et al.  Object lifecycles: modeling the world in states , 1992 .

[5]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[6]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[7]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[8]  James Martin,et al.  Object-oriented analysis and design , 1992 .

[9]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[10]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[11]  David Harel,et al.  On visual formalisms , 1988, CACM.

[12]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[13]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[14]  Grady Booch,et al.  Object-oriented analysis and design with applications (2nd ed.) , 1993 .

[15]  David Harel,et al.  Biting the silver bullet: toward a brighter future for system development , 1992, Computer.

[16]  Derek Coleman,et al.  Introducing Objectcharts or how to use Statecharts in object-oriented design , 1992 .