Multi-formalism Modelling and Model Transformation for the Design of Reactive Systems
Thomas Huining Feng, Miriam Zia and Hans Vangheluwe
Summer Computer Simulation Conference 2007 (SCSC 2007)
San Diego, California (USA), July 15-18, 2007
Abstract
This article presents a development process based on modeling, simulation, and code synthesis. The DChart formalism, a Statecharts variant with extensions, is used to model a small application to demonstrate our approach: a traffic light. The development of this system highlights the use of various tools: AToM3, A Tool for Multi-formalism and Meta-Modeling, is used as a visual modeling environment; SVM is the simulation engine to test the prototype of the model; SCC is the code synthesizer that generates reusable source code in a variety of target languages. Transformation onto the Communicating Sequential Processes (CSP) formalism allows for model checking using the FDR2 tool. This article demonstrates a highly automatic approach for modeling and simulation based design. This approach improves productivity, reliability and reusability.