next up previous contents index
Next: 1.4.1 Formal Specification Up: 1. INTRODUCTION Previous: 1.3.2 Coupled DEVS   Contents   Index

1.4 Research Focus

The research and its results discussed in this thesis builds on the existing formalisms and tools. In particular, it is closely related to both statecharts and DEVS. It combines the syntax and semantics of statecharts and DEVS in a modular way (Figure 1.9), and provides a friendly user-interface and good expressiveness to model designers.

Figure 1.9: Generalization of DCharts
Image dchartsinherit

DCharts are a new executable formalism, which allows model design, model transformation, model simulation, model checking and verification, and code generation.


Thomas Huining Feng 2004-04-28