|
|
Welcome |
|
|
Teaching |
|
|
Research |
|
|
Projects |
|
|
CV |
|
|
Contact info |
|
|
Other stuff |
|
|
Links |
AToM3 is a tool which supports multi-formalism modelling and meta-modelling to facilitate computer assisted analysis and design of complex systems. To enable the automatic generation of modelling tools, the formalisms themselves are modelled at a meta-level within an appropriate meta-formalism. The generated tools are able to process (create, edit, simulate,... ) models expressed in the corresponding formalism. AToM3 relies on graph grammars and graph rewriting techniques to perform the transformations between formalisms as well as for other tasks, such as code generation, model optimization and simulator specification. As a case study, we describe the syntax and operational semantics of Causal Block Diagrams (CBD). The animation of such operational semantics results in the actual simulation.
The text are available in the following formats: