The automated transformation of statecharts from a formal specification to object-oriented software

摘要

State transition models are frequently used in the specification and design of complex systems. The unified modeling language (UML) includes state transition models in the form of statecharts. State models have been around a long time and are used in many design paradigms from low-level hardware sequential circuit design to more complex finite state automata. The formalisms of state transition models are well known. However, formal techniques for transforming system-level state models into executable code, especially object-oriented code, are not as well developed, and as with most manual techniques are prone to errors. This paper describes an approach to automating this process.