论文信息 - Transforming Statecharts to Devs

Transforming Statecharts to Devs

This document discusses the transformation of a model in the Statechart formalism to a model in the DEVS formalism. Only the core elements of Statecharts are analyzed. In each section, an essential element of the Statechart formalism is described as well as how to convert it to its DEVS equivalent. Finally, a general procedure for converting from the Statechart formalism to the DEVS formalism is given.

Hans Vangheluwe | Spencer Borland

[1] Herbert Prähofer,et al. Visual Modeling of Devs-Based Multiformalism Systems Based on Higraphs , 1993, Proceedings of 1993 Winter Simulation Conference - (WSC '93).

[2] David R.C. Hill. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[3] Stephan Schulz,et al. Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[4] Hans Vangheluwe,et al. Expressing ODE models as DEVS: Quantization approaches. , 2002 .

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

[6] Amir Pnueli,et al. On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.