Incremental model transformation for the evolution of model-driven systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 321-335

  Hearnden, David ^a   Lawley, Michael ^b   Raymond, Kerry ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; CONFORMAL MAPPING; INFORMATION RETRIEVAL; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS;

MODEL DRIVEN SYSTEMS; MODEL TRANSFORMATIONS; SOURCE MODELS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 33750303490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_23     Document Type: Conference Paper

References (12)

1. OMG: MOF 2.0 Query / Views / Transformations RFP. OMG document ad/02-04-10 (2002)
2. OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. OMG document ptc/2005-11-01 (2005)
3. DSTC, IBM, CBOP: MOF Query / View / Transformation Second revised submission. OMG document ad/2004-01-06 (2004)
4. Lawley. M., Steel, J.: Practical declarative model transformation with Tefkat. In Bruel, J.M., ed.: MoDELS Satellite Events. Volume 3844 of Lecture Notes in Computer Science., Springer (2005) 139-150
5. Tefkat: The EMF transformation engine (2006)
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, 1993. ACM Press (1993) 157-166
7. Ceri, S., Widom. J.: Deriving incremental production rules for deductive data. Information Systems 19 (1994) 467-490
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 (1995) 3-18
9. Saha, D., Ramakrishnan, C.R.: Symbolic support graph: A space efficient data structure for incremental tabled evaluation. In: ICLP. (2005) 235-249
10. Saha, D., Ramakrishnan, C.R.: Incremental evaluation of tabled prolog: Beyond pure logic programs. In: PADL. (2006) 215-229
11. Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12 (1965) 23-41
12. Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education (2003)