Processing causal block diagrams with graph-grammars in AToM3
Ernesto Posse, Juan D. Lara, Hans Vangheluwe · 2002
AToM³ is a tool which supports multi-formalism modelling and metamodelling 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. AToM³ 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.