AToM3 swMATH ID: 10092 Software Authors: de Lara, Juan; Vangheluwe, Hans Description: AToM3 : A tool for multi-formalism and meta-modelling. This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms thanks to information found in a Formalism Transformation Graph (FTG), proposed by the authors. To aid in the automatic generation of multi-formalism modelling tools, formalisms are modelled in their own right (at a meta-level) within an appropriate formalism. This has been implemented in the interactive tool AToM 3 . This tool is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM 3 relies on graph rewriting techniques and graph grammars to perform the transformations between formalisms as well as for other tasks, such as code generation and operational semantics specification. Homepage: http://link.springer.com/chapter/10.1007/3-540-45923-5_12 Keywords: Modeling and Simulation; Meta-Modeling; Multi-Formalism Modeling; Automatic Code Generation; Graph Grammars. Related Software: AGG; VIATRA2; DiaGen; PROGRES; VPM; GenGED; SHARPE; SMART_; Kermeta; Cider; MetaEnv; GAMS; GME; MetaEdit+; Möbius; GraphML; GMTE; Maude; GReAT; ATL Cited in: 17 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year AToM\({}^3\): A tool for multi-formalism and meta-modelling. Zbl 1059.68561de Lara, Juan; Vangheluwe, Hans 2002 all top 5 Cited by 29 Authors 9 de Lara, Juan 6 Taentzer, Gabriele 5 Ehrig, Hartmut 3 Varró, Dániel 2 Bardohl, Roswitha 2 Ehrig, Karsten 2 Guerra, Esther 2 Prange, Ulrike 2 Vangheluwe, Hans 2 Varró-Gyapay, Szilvia 1 Balogh, Andras 1 Bouassida Rodriguez, Ismael 1 Chavarriaga, Enrique 1 Degenring, Daniela 1 Drira, Khalil 1 Ermel, Claudia 1 Hannachi, Mohamed Amine 1 Karsai, Gabor 1 Krahmer, Mario 1 Kreowski, Hans-Jörg 1 Kuske, Sabine 1 Lemcke, Jens 1 Macías, José A. 1 Maier, Sonja 1 Mazanek, Steffen 1 Minas, Mark 1 Pomares Hernandez, Saul Eduardo 1 Uhrmacher, Adelinde M. 1 von Totth, Caroline Cited in 3 Serials 1 Theoretical Computer Science 1 Science of Computer Programming 1 Advances in Engineering Software Cited in 4 Fields 17 Computer science (68-XX) 1 Combinatorics (05-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year