Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Automating Co-evolution in Model-Driven Engineering
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Graphical definition of in-place transformations in the eclipse modeling framework
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model checking dynamic states in GROOVE
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Composite EMF modeling based on typed graphs with inheritance and containment structures
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A graph query language for EMF models
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Towards a general composition semantics for rule-based model transformation
Proceedings of the 14th international conference on Model driven engineering languages and systems
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
Concurrent model synchronization with conflict resolution based on triple graph grammars
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Software and Systems Modeling (SoSyM)
Integration of smells and refactorings within the Eclipse modeling framework
Proceedings of the Fifth Workshop on Refactoring Tools
Proceedings of the Fifth Workshop on Refactoring Tools
Unification of compiled and interpreter-based pattern matching techniques
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Transformation of Typed Composite Graphs with Inheritance and Containment Structures
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Probabilistic graph transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Graph transformations for evolving domain knowledge
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A posteriori operation detection in evolving software models
Journal of Systems and Software
Model transformations with Tom
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Towards refactoring of rule-based, in-place model transformation systems
Proceedings of the First Workshop on the Analysis of Model Transformations
A tool environment for quality assurance based on the Eclipse Modeling Framework
Automated Software Engineering
GReTL: an extensible, operational, graph-based transformation language
Software and Systems Modeling (SoSyM)
Quality-Aware Refactoring for Early Detection and Resolution of Energy Deficiencies
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
Hi-index | 0.00 |
The Eclipse Modeling Framework (EMF) provides modeling and code generation facilities for Java applications based on structured data models. Henshin is a new language and associated tool set for in-place transformations of EMF models. The Henshin transformation language uses pattern-based rules on the lowest level, which can be structured into nested transformation units with well-defined operational semantics. So-called amalgamation units are a special type of transformation units that provide a forall-operator for pattern replacement. For all of these concepts, Henshin offers a visual syntax, sophisticated editing functionalities, execution and analysis tools. The Henshin transformation language has its roots in attributed graph transformations, which offer a formal foundation for validation of EMF model transformations. The transformation concepts are demonstrated using two case studies: EMF model refactoring and meta-model evolution.