Concordance: A Framework for Managing Model Integrity

  • Louis M. Rose
  • Dimitrios S. Kolovos
  • Nicholas Drivalos
  • James R. Williams
  • Richard F. Paige
  • Fiona A. C. Polack
  • Kiran J. Fernandes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6138)

Abstract

A change to a software development artefact, such as source code or documentation, can affect the integrity of others. Many contemporary software development environments provide tools that automatically manage (detect, report and reconcile) integrity. For instance, incremental background compilation can reconcile object code with changing source code and report calls to a method that are inconsistent with its definition. Although models are increasingly first-class citizens in software development, contemporary development environments are less able to automatically detect, manage and reconcile the integrity of models than the integrity of other types of artefact. In this paper, we discuss the scalability and efficiency problems faced when managing model integrity for two categories of change that occur in MDE. We present a framework to support the incremental management of model integrity, evaluating the efficiency of the proposed approach atop Eclipse and EMF.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modelling Framework, 2nd edn. Addison-Wesley Professional, Reading (2008)Google Scholar
  2. 2.
    Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon), http://www.eclipse.org/gmt/epsilon
  3. 3.
    Jouault, F., Bezívin, J.: KM3: a DSL for Metamodel Specification. In: Proc. IFIP 2006, Bologna, Italy. LNCS, pp. 171–185 (2006)Google Scholar
  4. 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)Google Scholar
  5. 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)Google Scholar
  6. 6.
    Mens, T., Demeyer, S.: Software Evolution. Springer, Heidelberg (2007)Google Scholar
  7. 7.
    Eclipse Foundation. Eclipse Modeling Framework Technology (EMFT), http://www.eclipse.org/modeling/emft/
  8. 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)CrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 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)Google Scholar
  11. 11.
    Warmer, J.: Big Models - An Alternative Approach. In: Modeling Symposium, Eclipse Summit Europe, Ludwigsburg, Germany (2008)Google Scholar
  12. 12.
    EMF Index, Project Proposal, http://www.eclipse.org/proposals/emf-index/
  13. 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)CrossRefGoogle Scholar
  14. 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)Google Scholar
  15. 15.
    Egyed, A.: Instant consistency checking for the UML. In: Proc. ICSE 2006, Shanghai, China, pp. 381–390. ACM Press, New York (2006)CrossRefGoogle Scholar
  16. 16.
    Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology 12(1), 28–63 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Louis M. Rose
    • 1
  • Dimitrios S. Kolovos
    • 1
  • Nicholas Drivalos
    • 1
    • 2
  • James R. Williams
    • 1
  • Richard F. Paige
    • 1
  • Fiona A. C. Polack
    • 1
  • Kiran J. Fernandes
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkYorkUK
  2. 2.The Management SchoolUniversity of YorkYorkUK

Personalised recommendations