VIATRA2

The model transformation language of the VIATRA2 framework. We present the model transformation language of the VIATRA2 framework, which provides a rule- and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic transformation and meta-transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions.


References in zbMATH (referenced in 33 articles )

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

1 2 next

  1. Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto: Multilevel coupled model transformations for precise and reusable definition of model behaviour (2019)
  2. Strecker, Martin: Interactive and automated proofs for graph transformations (2018)
  3. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  4. Almendros-Jiménez, Jesús M.; Iribarne, Luis; López-Fernández, Jesús; Mora-Segura, Ángel: PTL: a model transformation language based on logic programming (2016)
  5. Ujhelyi, Zoltán; Bergmann, Gábor; Varró, Dániel: Rete network slicing for model queries (2016)
  6. Varró, Dániel: Incremental queries and transformations: from concepts to industrial applications (2016) ioport
  7. de Lara, Juan; Guerra, Esther: Towards the flexible reuse of model transformations: a formal approach based on graph transformation (2014)
  8. Bergmann, Gábor; Ráth, István; Szabó, Tamás; Torrini, Paolo; Varró, Dániel: Incremental pattern matching for the efficient computation of transitive closure (2012) ioport
  9. Grumberg, Orna; Meller, Yael; Yorav, Karen: Applying software model checking techniques for behavioral UML models (2012)
  10. Kreowski, Hans-Jörg; Kuske, Sabine; von Totth, Caroline: Combining graph transformation and algebraic specification into model transformation (2012)
  11. Banti, Federico; Pugliese, Rosario; Tiezzi, Francesco: An accessible verification environment for UML models of services (2011)
  12. Balogh, András; Bergmann, Gábor; Csertán, György; Gönczy, László; Horváth, Ákos; Majzik, István; Pataricza, András; Polgár, Balázs; Ráth, István; Varró, Dániel; Varró, Gergely: Workflow-driven tool integration using model transformations (2010) ioport
  13. Horváth, Ákos; Bergmann, Gábor; Ráth, István; Varró, Dániel: Experimental assessment of combining pattern matching strategies with VIATRA2 (2010) ioport
  14. Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz: GrGen.NET. The expressive, convenient and fast graph rewrite system (2010) ioport
  15. Karsai, Gabor: Lessons learned from building a graph transformation system (2010)
  16. Ujhelyi, Zoltán: Static type checking of model transformation programs (2010) ioport
  17. Balogh, Zoltán; Varró, Dániel: Model transformation by example using inductive logic programming (2009) ioport
  18. Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin: What is a multi-modeling language? (2009)
  19. Cuadrado, Jesús Sánchez; Molina, Jesús García: Modularization of model transformations through a phasing mechanism (2009) ioport
  20. Iñesta, Luis; Aquino, Nathalie; Sánchez, Juan: Framework and authoring tool for an extension of the UIML language (2009)

1 2 next