VIATRA2 swMATH ID: 3511 Software Authors: Varró, Dániel; Balogh, András Description: 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. Homepage: http://wiki.eclipse.org/VIATRA2 Keywords: model transformation; graph transformation; abstract state machines Related Software: PROGRES; AGG; Graph transformation benchmarks; VPM; AToM3; GROOVE; Maude; GrGen; GXL; ATL; Henshin; Isabelle/HOL; SPIN; Fujaba; AToMPM; Melanee; AGREE; Rodin; ProofPower; CADP Cited in: 18 Documents all top 5 Cited by 42 Authors 3 Varró, Dániel 2 Bergmann, Gábor 2 de Lara, Juan 2 Guerra, Esther 2 Jouault, Frédéric 2 Kurtev, Ivan 1 Almendros-Jiménez, Jesús Manuel 1 Aquino, Nathalie 1 Balogh, Andras 1 Banti, Federico 1 Boronat, Artur 1 da Costa Cavalheiro, Simone André 1 Durán, Francisco 1 Foss, Luciana 1 Grumberg, Orna 1 Horváth, Ákos 1 Iñesta, Luis 1 Iribarne, Luis 1 Karsai, Gabor 1 Knapp, Alexander 1 Kreowski, Hans-Jörg 1 Kuske, Sabine 1 López-Fernández, Jesús 1 Macías, Fernando 1 Meller, Yael 1 Meseguer Guaita, José 1 Mora-Segura, Ángel 1 Nederpel, Ronald 1 Pugliese, Rosario 1 Ráth, István 1 Rensink, Arend 1 Ribeiro, Leila 1 Rodriguez-Echeverria, Roberto 1 Rutle, Adrian 1 Strecker, Martin 1 Tiezzi, Francesco 1 Ujhelyi, Zoltán 1 van den Berg, Klaas 1 von Totth, Caroline 1 Wirsing, Martin 1 Wolter, Uwe E. 1 Yorav, Karen all top 5 Cited in 6 Serials 3 Science of Computer Programming 3 Journal of Logical and Algebraic Methods in Programming 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 MSCS. Mathematical Structures in Computer Science 1 Advances in Engineering Software Cited in 1 Field 18 Computer science (68-XX) Citations by Year