Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
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
Generating Code from UML with Velocity Templates
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
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
Separation of concerns in translational semantics for DSLs in model engineering
Proceedings of the 2007 ACM symposium on Applied computing
Rule-based modularization in model transformation languages illustrated with ATL
Science of Computer Programming
Science of Computer Programming
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Rule-based modularization in model transformation languages illustrated with ATL
Science of Computer Programming
On the interoperability of model-to-model transformation languages
Science of Computer Programming
Science of Computer Programming
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Formal modeling of BPEL workflows including fault and compensation handling
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Scheduling of embedded time-triggered systems
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Barbed Model--Driven Software Development: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying markup language resources in the specification of visual alphabets and visual sentences
Proceedings of the 2008 ACM symposium on Applied computing
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
Electronic Notes in Theoretical Computer Science (ENTCS)
Novel features in languages of the epsilon model management platform
Proceedings of the 2008 international workshop on Models in software engineering
Transformation-Based Operationalization of Graph Languages
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
An integrated framework for the dependability evaluation of distributed mobile applications
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Recursive Graph Pattern Matching
Applications of Graph Transformations with Industrial Relevance
Issues in applying a model driven approach to reconfigurations of satellite software
Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades
Experiments with a High-Level Navigation Language
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Henshin: advanced concepts and tools for in-place EMF model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Multiformalism and transformation inheritance for dependability analysis of critical systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
A demonstration-based approach to support live transformations in a model editor
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A novel approach to semi-automated evolution of DSML model transformation
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Catch me if you can – debugging support for model transformations
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
An expressive aspect composition language for UML state diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Understanding design patterns — what is the problem?
Software—Practice & Experience
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
Reusable graph transformation templates
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
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 and meta transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions. In addition, powerful language constructs are provided for multi-level metamodeling to design modeling languages and template-based code generation.