AToM3: A Tool for Multi-formalism and Meta-modelling

This article introduces the combined use of multiformalism 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 AToM3. 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. AToM3 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.

[1]  Michael Goedicke,et al.  Towards an Integration of Different Specification Methods by using the Viewpoint Framework , 2002, Trans. SDPS.

[2]  David Harel,et al.  On visual formalisms , 1988, CACM.

[3]  Manfred Nagl,et al.  Graph-Grammars and Their Application to Computer Science , 1986, Lecture Notes in Computer Science.

[4]  Gabor Karsai,et al.  MULTIGRAPH: an architecture for model-integrated computing , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[5]  Dorothea Blostein,et al.  Issues in the Practical Use of Graph Rewriting , 1994, TAGT.

[6]  H. Vangheluwe DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[7]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[8]  Anthony Finkelstein,et al.  ViewPoint Oriented Software Development , 1990 .

[9]  Gerhard Goos,et al.  Efficient Graph Rewriting and Its Implementation , 1995 .

[10]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[11]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[12]  T. S. E. Maibaum,et al.  A Pluralistic Knowledge-Based Approach to Software Specification , 1989, ESEC.

[13]  Hartmut Ehrig,et al.  Graph Grammars and Their Application to Computer Science , 1991, Lecture Notes in Computer Science.

[14]  José Luiz Fiadeiro,et al.  Interconnecting formalisms: supporting modularity, reuse and incrementality , 1995, SIGSOFT FSE.

[15]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[16]  David R. C. Hill,et al.  Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems: Second Edition by B. P. Zeigler, H. Praehofer, T. G. Kim, Academic Press, San Diego, CA, 2000. , 2002 .

[17]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[18]  Jürgen Ebert,et al.  Meta-CASE in Practice: a Case for KOGGE , 1997, CAiSE.