A Relational Approach to Defining Transformations in a Metamodel
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
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Pattern-Based Model-to-Model Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
On the specification and verification of model transformations
Semantics and algebraic specification
Deep meta-modelling with METADEPTH
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Inter-modelling: from theory to practice
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Controlling reuse in pattern-based model-to-model transformations
Graph transformations and model-driven engineering
Journal of Visual Languages and Computing
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Software and Systems Modeling (SoSyM)
Annotation processes for flexible management of contextual information
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on patterns describing allowed or forbidden relations between two models, which are compiled into operational mechanisms to perform forward and backward transformations. In this paper, we extend the approach for handling attribute conditions expressed in some suitable logic, adapt the operational mechanisms based on graph transformation to relax attribute handling by constraint solving, and discuss heuristics for the compilation of patterns into rules.