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
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model Transformations for Performability Analysis of Service Configurations
Models in Software Engineering
Efficient Model Transformations by Combining Pattern Matching Strategies
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A diagrammatic approach to model transformations
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
CSP(M): Constraint Satisfaction Problem over Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Change-Driven Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A systematic review of research on integration of ontologies with the model-driven approach
International Journal of Metadata, Semantics and Ontologies
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Incremental evaluation of model queries over EMF models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Static type checking of model transformation programs
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
A graph query language for EMF models
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
The GReTL transformation language
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
Reusing model transformations while preserving properties
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Towards dynamic backward slicing of model transformations
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Implementing efficient model validation in EMF tools
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
A model-driven framework for guided design space exploration
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
On formalizing EMF modeling operations with graph transformations
ACM SIGSOFT Software Engineering Notes
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Software and Systems Modeling (SoSyM)
Change-driven model transformations
Software and Systems Modeling (SoSyM)
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
Derived features for EMF by integrating advanced model queries
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
AdvoCATE: an assurance case automation toolset
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Locality in reasoning about graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
A case study based comparison of ATL and SDM
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Query-driven soft interconnection of EMF models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Parallelism and concurrency of stochastic graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Applying incremental graph transformation to existing models in relational databases
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Incremental pattern matching for the efficient computation of transitive closure
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
Journal of Visual Languages and Computing
GReTL: an extensible, operational, graph-based transformation language
Software and Systems Modeling (SoSyM)
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
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.