Incremental Model Transformation for the Evolution of Model-Driven Systems
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.
KeywordsSource Model Logic Language Transformation Language Success Node Resolution Tree
Unable to display preview. Download preview PDF.
- 1.OMG: MOF 2.0 Query/Views/Transformations RFP. OMG document ad/02-04-10 (2002)Google Scholar
- 2.OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. OMG document ptc/2005-11-01 (2005)Google Scholar
- 3.DSTC, IBM, CBOP: MOF Query/View/Transformation Second revised submission. OMG document ad/2004-01-06 (2004)Google Scholar
- 5.Tefkat: The EMF transformation engine (2006)Google Scholar
- 8.Gupta, A., Mumick, I.S.: Maintenance of materialized views: Problems, techniques and applications. IEEE Quarterly Bulletin on Data Engineering; Special Issue on Materialized Views and Data Warehousing 18, 3–18 (1995)Google Scholar
- 9.Saha, D., Ramakrishnan, C.R.: Symbolic support graph: A space efficient data structure for incremental tabled evaluation. In: ICLP, pp. 235–249 (2005)Google Scholar
- 12.Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2003)Google Scholar