Incremental Model Transformation for the Evolution of Model-Driven Systems

  • David Hearnden
  • Michael Lawley
  • Kerry Raymond
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4199)


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.


Source Model Logic Language Transformation Language Success Node Resolution Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    OMG: MOF 2.0 Query/Views/Transformations RFP. OMG document ad/02-04-10 (2002)Google Scholar
  2. 2.
    OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. OMG document ptc/2005-11-01 (2005)Google Scholar
  3. 3.
    DSTC, IBM, CBOP: MOF Query/View/Transformation Second revised submission. OMG document ad/2004-01-06 (2004)Google Scholar
  4. 4.
    Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139–150. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Tefkat: The EMF transformation engine (2006)Google Scholar
  6. 6.
    Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: Buneman, P., Jajodia, S. (eds.) Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 26-28, pp. 157–166. ACM Press, New York (1993)CrossRefGoogle Scholar
  7. 7.
    Ceri, S., Widom, J.: Deriving incremental production rules for deductive data. Information Systems 19, 467–490 (1994)CrossRefGoogle Scholar
  8. 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. 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
  10. 10.
    Saha, D., Ramakrishnan, C.R.: Incremental evaluation of tabled prolog: Beyond pure logic programs. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol. 3819, pp. 215–229. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12, 23–41 (1965)MATHCrossRefGoogle Scholar
  12. 12.
    Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • David Hearnden
    • 1
  • Michael Lawley
    • 2
  • Kerry Raymond
    • 2
  1. 1.School of ITEEUniversity of QueenslandAustralia
  2. 2.Queensland University of TechnologyAustralia

Personalised recommendations