Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Proceedings of the 22nd international conference on Software engineering
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
The Essence of Multilevel Metamodeling
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Compiling model transformations to EJB3-specific transformer plugins
Proceedings of the 2006 ACM symposium on Applied computing
The MT model transformation language
Proceedings of the 2006 ACM symposium on Applied computing
Customizing grgen.net for model transformation
Proceedings of the third international workshop on Graph and model transformations
The Epsilon Generation Language
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Active operations on collections
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Ontology driven design of EMF metamodels and well-formedness constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Hi-index | 0.00 |
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.