Elementary categories, elementary toposes
Elementary categories, elementary toposes
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Proceedings of the International Workshop on Graph Transformations in Computer Science
Schema Transformation Techniques for Database Reverse Engineering
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Categories for Software Engineering
Categories for Software Engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
A schema version model for complex objects in object-oriented databases
Journal of Systems Architecture: the EUROMICRO Journal
A Diagrammatic Logic for Object-Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
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 diagrammatic approach to model transformations
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
A comparison of model migration tools
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Graph rewriting in span-categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A categorical framework for the transformation of object-oriented systems: Models and data
Journal of Symbolic Computation
ICGT'06 Proceedings of the Third international conference on Graph Transformations
On the use of graph transformations for model refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Composition of model transformations: a categorical framework
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
| Hi-index | 0.00 |
Software restructuring and refactoring facilitate the use of models as primary artifacts. Model evolution becomes agile if consistency between evolving models and depending artifacts is spontaneously maintained. In this paper we study endogenous model transformations at medium or fine granularity with impact on data structures and objects. We propose a formal framework in which transformation rules for class models can be formulated, whose application induces automatic migration of corresponding data structures. The main contribution is a correctness criterion for rule-induced instance migration based on initial semantics.