A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
The model transformation language of the VIATRA2 framework
Science of Computer Programming
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
Ensuring structural constraints in graph-based models with type inheritance
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A Collection Operator for Graph Transformation
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
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
A component concept for typed graphs with inheritance and containment structures
ICGT'10 Proceedings of the 5th international conference on Graph transformations
EMF model transformation based on graph transformation: formal foundation and tool environment
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Composite EMF modeling based on typed graphs with inheritance and containment structures
ICGT'10 Proceedings of the 5th international conference on Graph transformations
DSLTrans: a turing incomplete transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
A graph query language for EMF models
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Dynamic computation of change operations in version management of business process models
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Catch me if you can – debugging support for model transformations
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Implementing efficient model validation in EMF tools
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Derived features for EMF by integrating advanced model queries
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Integrating efficient model queries in state-of-the-art EMF tools
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Transformation of Typed Composite Graphs with Inheritance and Containment Structures
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Hoare-Style Verification of Graph Programs
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
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
An approach to supporting architecture evolution in Internetware
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
A collection operator for graph transformation
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
Bridging the gap between formal semantics and implementation of triple graph grammars
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a formal foundation is needed. In this paper, we define EMF model transformations as a special kind of typed graph transformations using node type inheritance. Containment constraints of EMF model transformations are translated to a special kind of EMF model transformation rules such that their application leads to consistent transformation results only. Thus, we identify a kind of EMF model transformations which behave like algebraic graph transformations. As a consequence, the rich theory of algebraic graph transformation can be applied to these EMF model transformations to show functional behavior and correctness. We illustrate our approach by selected refactorings of simplified statechart models.