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 25 articles )

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

1 2 next

  1. 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)
  2. Varró, Dániel: Incremental queries and transformations: from concepts to industrial applications (2016)
  3. de Lara, Juan; Guerra, Esther: Towards the flexible reuse of model transformations: a formal approach based on graph transformation (2014)
  4. 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
  5. Grumberg, Orna; Meller, Yael; Yorav, Karen: Applying software model checking techniques for behavioral UML models (2012)
  6. Banti, Federico; Pugliese, Rosario; Tiezzi, Francesco: An accessible verification environment for UML models of services (2011)
  7. 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
  8. Horváth, Ákos; Bergmann, Gábor; Ráth, István; Varró, Dániel: Experimental assessment of combining pattern matching strategies with VIATRA2 (2010) ioport
  9. Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz: GrGen.NET. The expressive, convenient and fast graph rewrite system (2010) ioport
  10. Karsai, Gabor: Lessons learned from building a graph transformation system (2010)
  11. Ujhelyi, Zoltán: Static type checking of model transformation programs (2010) ioport
  12. Balogh, Zoltán; Varró, Dániel: Model transformation by example using inductive logic programming (2009) ioport
  13. Cuadrado, Jesús Sánchez; Molina, Jesús García: Modularization of model transformations through a phasing mechanism (2009) ioport
  14. Iñesta, Luis; Aquino, Nathalie; Sánchez, Juan: Framework and authoring tool for an extension of the UIML language (2009)
  15. Islam, Shariful; Suri, Neeraj; Balogh, András; Csertán, György; Pataricza, András: An optimization based design for integrated dependable real-time embedded systems (2009) ioport
  16. Jackson, Ethan; Sztipanovits, Janos: Formalizing the structural semantics of domain-specific modeling languages (2009) ioport
  17. Bergmann, Gábor; Horváth, Ákos; Ráth, István; Varró, Dániel: A benchmark evaluation of incremental pattern matching in graph transformation (2008)
  18. Varró, Gergely: Implementing an EJB3-specific graph transformation plugin by using database independent queries (2008) ioport
  19. Jouault, Frédéric; Kurtev, Ivan: On the interoperability of model-to-model transformation languages (2007)
  20. Kurtev, Ivan; van den Berg, Klaas; Jouault, Frédéric: Rule-based modularization in model transformation languages illustrated with ATL (2007)

1 2 next