SCSC2003 Abstract S21474

Extensions to the Statechart Formalism for a Virtual Machine

Extensions to the Statechart Formalism for a Virtual Machine

Submitting Author: Mr. Huining Feng

Abstract:
Because of its power in describing large systems, statechart is widely used to model both software systems and physical systems. As the distinction between the design phase and implementation phase is becoming more
and more insignificant, it would be very nice if a model described in statechart can be executed before it is finished. Moreover, early model analysis, verification and code generation are also important.

Based on the implementation of the Statechart Virtual Machine, this article briefly describes the execution of statechart models, and discusses three important extension to the statechart formalism in detail: submodel mportation,
tunable transition priority to solve conflicts and parameterized model templates.


Back to SCSC2003 Abstracts