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.

References in zbMATH (referenced in 32 articles , 1 standard article )

Showing results 1 to 20 of 32.
Sorted by year (citations)

1 2 next

  1. He, Xiao; Hu, Changjun; Ma, Zhiyi; Shao, Weizhong: A bidirectional-transformation-based framework for software visualization and visual editing (2014) ioport
  2. Hannachi, Mohamed Amine; Bouassida Rodriguez, Ismael; Drira, Khalil; Pomares Hernandez, Saul Eduardo: GMTE: a tool for graph transformation and exact/inexact graph matching (2013)
  3. Iacono, M.; Barbierato, E.; Gribaudo, M.: The simthesys multiformalism modeling framework (2012) ioport
  4. Kappel, Gerti; Langer, Philip; Retschitzegger, Werner; Schwinger, Wieland; Wimmer, Manuel: Model transformation by-example: a survey of the first wave (2012) ioport
  5. Kreowski, Hans-Jörg; Kuske, Sabine; von Totth, Caroline: Combining graph transformation and algebraic specification into model transformation (2012)
  6. Meyers, Bart; Vangheluwe, Hans: A framework for evolution of modelling languages (2011) ioport
  7. Karsai, Gabor: Lessons learned from building a graph transformation system (2010)
  8. Mészáros, Tamás; Mezei, Gergely; Levendovszky, Tihamér; Asztalos, Márk: Manual and automated performance optimization of model transformation systems (2010) ioport
  9. Chavarriaga, Enrique; Macías, José A.: A model-driven approach to building modern semantic web-based user interfaces (2009)
  10. Cuadrado, Jesús Sánchez; Molina, Jesús García: Modularization of model transformations through a phasing mechanism (2009) ioport
  11. Fleurey, Franck; Baudry, Benoit; Muller, Pierre-Alain; Le Traon, Yves: Qualifying input test data for model transformations (2009) ioport
  12. Levendovszky, Tihamér; Lengyel, László; Mészáros, Tamás: Supporting domain-specific model patterns with metamodeling (2009) ioport
  13. Baar, Thomas: Correctly defined concrete syntax (2008) ioport
  14. Guerra, Esther; Díaz, Paloma; de Lara, Juan: Visual specification of metrics for domain specific visual languages (2008) ioport
  15. Mazanek, Steffen; Maier, Sonja; Minas, Mark: An algorithm for hypergraph completion according to hyperedge replacement grammars (2008)
  16. Muller, Pierre-Alain; Fondement, Frédéric; Fleurey, Franck; Hassenforder, Michel; Schnekenburger, Rémi; Gérard, Sébastien; Jézéquel, Jean-Marc: Model-driven analysis and synthesis of textual concrete syntax (2008) ioport
  17. Mustafiz, Sadaf; Sun, Ximeng; Kienzle, Jörg; Vangheluwe, Hans: Model-driven assessment of system dependability (2008) ioport
  18. Siikarla, Mika; Systä, Tarja: Transformational pattern system -- some assembly required (2008) ioport
  19. de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele: Attributed graph transformation with node type inheritance (2007)
  20. Guerra, Esther; De Lara, Juan: Event-driven grammars: Relating abstract and concrete levels of visual languages (2007) ioport

1 2 next