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.
DCharts are a new executable formalism, which allows model design, model transformation, model simulation, model checking and verification, and code generation.
