next up previous contents index
Next: 5.4 Mapping from DEVS Up: 5. MAPPINGS Previous: 5.2 Mapping from Non-recursive   Contents   Index


5.3 Mapping from Statecharts to DCharts

Transforming statecharts models to DCharts is trivial, since all the semantic elements of statecharts can be found in DCharts. The state hierarchy is directly mapped to the DCharts state hierarchy. DCharts transitions includes all the elements of statecharts transitions. The state properties in DCharts form a superset of the state properties in statecharts. As a result, it is easy to transform any statecharts model into DCharts.

This proves that DCharts are at least as powerful as statecharts.



Thomas Huining Feng 2004-04-28