Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Deriving incremental production rules for deductive data
Information Systems
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Eclipse Modeling Framework
Symbolic support graph: a space efficient data structure for incremental tabled evaluation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Incremental evaluation of tabled prolog: beyond pure logic programs
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
An approach to detecting failures automatically
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Encapsulating and exploiting change with changeboxes
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Heterogeneous Coupled Evolution of Software Languages
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
The Grand Challenge of Scalability for Model Driven Engineering
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
Towards Model Round-Trip Engineering: An Abductive Approach
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Change-Driven Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An Incremental Algorithm for High-Performance Runtime Model Consistency
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Incremental model synchronization in model driven development environments
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
Towards incremental execution of ATL transformations
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
Active operations on collections
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
JTL: a bidirectional and change propagating transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
Preventing information loss in incremental model synchronization by reusing elements
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems
Lazy execution of model-to-model transformations
Proceedings of the 14th international conference on Model driven engineering languages and systems
Applying model-driven engineering for linking web service and context models: position paper
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Concordance: a framework for managing model integrity
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Search-based model transformation by example
Software and Systems Modeling (SoSyM)
Partial evaluation of model transformations
Proceedings of the 34th International Conference on Software Engineering
Change-driven model transformations
Software and Systems Modeling (SoSyM)
Specifying refinement relations in vertical model transformations
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
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
Runtime adaptation of architectural models: an approach for adapting user interfaces
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Detecting source code changes to maintain the consistence of behavioral model
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Retainment policies - A formal framework for change retainment for trace-based model transformations
Information and Software Technology
Supporting maintenance tasks on transformational code generation environments
Proceedings of the 2013 International Conference on Software Engineering
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. This paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. The strategy involves recording dependencies of the transformation execution on information from source models and from the transformation definition. Changes to the source models or the transformation itself can then be directly mapped to their effects on transformation execution, allowing changes to target models to be computed efficiently. This particular approach has many benefits. It supports changes to both source models and transformation definitions, it can be applied to incomplete transformation executions, and a priori knowledge of volatility can be used to further increase the efficiency of change propagation.