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

Showing results 1 to 20 of 28.
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. de Lara, Juan; Guerra, Esther: Towards the flexible reuse of model transformations: a formal approach based on graph transformation (2014)
  3. 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)
  4. Grumberg, Orna; Meller, Yael; Yorav, Karen: Applying software model checking techniques for behavioral UML models (2012)
  5. Banti, Federico; Pugliese, Rosario; Tiezzi, Francesco: An accessible verification environment for UML models of services (2011)
  6. 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)
  7. Horváth, Ákos; Bergmann, Gábor; Ráth, István; Varró, Dániel: Experimental assessment of combining pattern matching strategies with VIATRA2 (2010)
  8. Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz: GrGen.NET. The expressive, convenient and fast graph rewrite system (2010)
  9. Karsai, Gabor: Lessons learned from building a graph transformation system (2010)
  10. Ujhelyi, Zoltán: Static type checking of model transformation programs (2010)
  11. Balogh, Zoltán; Varró, Dániel: Model transformation by example using inductive logic programming (2009)
  12. Cuadrado, Jesús Sánchez; Molina, Jesús García: Modularization of model transformations through a phasing mechanism (2009)
  13. Iñesta, Luis; Aquino, Nathalie; Sánchez, Juan: Framework and authoring tool for an extension of the UIML language (2009)
  14. 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)
  15. Jackson, Ethan; Sztipanovits, Janos: Formalizing the structural semantics of domain-specific modeling languages (2009)
  16. Bergmann, Gábor; Horváth, Ákos; Ráth, István; Varró, Dániel: A benchmark evaluation of incremental pattern matching in graph transformation (2008)
  17. Montangero, Carlo; Semini, Laura: Barbed model-driven software development: A case study. (2008)
  18. Rensink, Arend; Nederpel, Ronald: Graph transformation semantics for a QVT language. (2008)
  19. Varró, Gergely: Implementing an EJB3-specific graph transformation plugin by using database independent queries (2008)
  20. Varró, Gergely: Implementing an EJB3-specific graph transformation plugin by using database independent queries. (2008)

1 2 next