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

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

1 2 next

  1. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  2. 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)
  3. Ujhelyi, Zoltán; Bergmann, Gábor; Varró, Dániel: Rete network slicing for model queries (2016)
  4. Varró, Dániel: Incremental queries and transformations: from concepts to industrial applications (2016)
  5. de Lara, Juan; Guerra, Esther: Towards the flexible reuse of model transformations: a formal approach based on graph transformation (2014)
  6. 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
  7. Grumberg, Orna; Meller, Yael; Yorav, Karen: Applying software model checking techniques for behavioral UML models (2012)
  8. Kreowski, Hans-Jörg; Kuske, Sabine; von Totth, Caroline: Combining graph transformation and algebraic specification into model transformation (2012)
  9. Banti, Federico; Pugliese, Rosario; Tiezzi, Francesco: An accessible verification environment for UML models of services (2011)
  10. 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
  11. Horváth, Ákos; Bergmann, Gábor; Ráth, István; Varró, Dániel: Experimental assessment of combining pattern matching strategies with VIATRA2 (2010) ioport
  12. Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz: GrGen.NET. The expressive, convenient and fast graph rewrite system (2010) ioport
  13. Karsai, Gabor: Lessons learned from building a graph transformation system (2010)
  14. Ujhelyi, Zoltán: Static type checking of model transformation programs (2010) ioport
  15. Balogh, Zoltán; Varró, Dániel: Model transformation by example using inductive logic programming (2009) ioport
  16. Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin: What is a multi-modeling language? (2009)
  17. Cuadrado, Jesús Sánchez; Molina, Jesús García: Modularization of model transformations through a phasing mechanism (2009) ioport
  18. Iñesta, Luis; Aquino, Nathalie; Sánchez, Juan: Framework and authoring tool for an extension of the UIML language (2009)
  19. 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
  20. Jackson, Ethan; Sztipanovits, Janos: Formalizing the structural semantics of domain-specific modeling languages (2009) ioport

1 2 next