SCSC2003 Abstract S21118
Computer Aided Multi-Paradigm Modelling of Hybrid Systems with AToM3
Computer Aided Multi-Paradigm Modelling of Hybrid Systems with AToM3
Submitting Author: Dr. Juan de Lara
Abstract:
This article introduces the use of {\em multi-paradigm} modelling to facilitate computer assisted modelling of hybrid systems. Multi-Paradigm modelling consists on the combination of meta-modelling, multi-formalism and multiple abstraction levels. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms as the latter are also (meta-)modelled and represented as Abstract Syntax Graphs. Thus, transformations between formalisms can be represented as models in the graph grammars formalism. We present the implementation of these concepts in AToM3, and as an example we model a hybrid system by combining Causal Block Diagrams (for the continuous part) and Statecharts (for the discrete part). Both models are translated into the object-oriented simulation language OOCSMP for simulation.
Back to SCSC2003 Abstracts