Concordance: A framework for managing model integrity

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

Volumn 6138 LNCS, Issue , 2010, Pages 245-260

  Rose, Louis M ^a   Kolovos, Dimitrios S ^a   Drivalos, Nicholas ^a,b   Williams, James R ^a   Paige, Richard F ^a   Polack, Fiona A C ^a   Fernandes, Kiran J ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DEVELOPMENT ENVIRONMENT; OBJECT CODE; SOFTWARE DEVELOPMENT; SOFTWARE DEVELOPMENT ENVIRONMENT; SOURCE CODES;

COMPUTER SOFTWARE;

SOFTWARE DESIGN;

EID: 77954641028     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13595-8_20     Document Type: Conference Paper

References (16)

1. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modelling Framework, 2nd edn. Addison-Wesley Professional, Reading (2008)
2. Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon), http://www.eclipse.org/gmt/epsilon
3. Jouault, F., Bezívin, J.: KM3: a DSL for Metamodel Specification. In: Proc. IFIP 2006, Bologna, Italy. LNCS, pp. 171-185 (2006)
4. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Scalability: The Holy Grail of Model Driven Engineering. In: Proc. Workshop on Challenges in MDE, MoDELS, Toulouse, France, September 2008, pp. 10-14 (2008)
5. Rose, L.M., Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Enhanced automation for managing model and metamodel inconsistency. In: Proc. ASE, pp. 545-549. ACM Press, New York (2009)
6. Mens, T., Demeyer, S.: Software Evolution. Springer, Heidelberg (2007)
7. Eclipse Foundation. Eclipse Modeling Framework Technology (EMFT), http://www.eclipse.org/modeling/emft/
8. Hearnden, D., Lawley, M., Raymond, K.: Incremental Model Transformation for the Evolution of Model-Driven Systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 321-335. Springer, Heidelberg (2006)
9. Ráth, I., Bergmann, G., Ökrös, A., Varró, D.: Live model transformations driven by incremental pattern matching. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 107-121. Springer, Heidelberg (2008)
10. Rose, L.M., Kolovos, D.S., Paige, R.F., Polack, F.A.C.: An analysis of approaches to model migration. In: Proc. Joint MoDSE-MCCM Workshop, pp. 6-15 (2009)
11. Warmer, J.: Big Models - An Alternative Approach. In: Modeling Symposium, Eclipse Summit Europe, Ludwigsburg, Germany (2008)
12. EMF Index, Project Proposal, http://www.eclipse.org/proposals/emf-index/
13. Lucrédio, D., Fortes, R.P., Whittle, J.: Moogle: A model search engine. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 296-310. Springer, Heidelberg (2008)
14. Paige, R.F., Brooke, P.J., Ostroff, J.S.: Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology 16(3) (2007)
15. Egyed, A.: Instant consistency checking for the UML. In: Proc. ICSE 2006, Shanghai, China, pp. 381-390. ACM Press, New York (2006)
16. Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology 12(1), 28-63 (2003)