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