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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modelling Framework, 2nd edn. Addison-Wesley Professional, Reading (2008)
Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon), http://www.eclipse.org/gmt/epsilon
Jouault, F., BezÃvin, J.: KM3: a DSL for Metamodel Specification. In: Proc. IFIP 2006, Bologna, Italy. LNCS, pp. 171–185 (2006)
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)
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)
Mens, T., Demeyer, S.: Software Evolution. Springer, Heidelberg (2007)
Eclipse Foundation. Eclipse Modeling Framework Technology (EMFT), http://www.eclipse.org/modeling/emft/
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)
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)
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)
Warmer, J.: Big Models - An Alternative Approach. In: Modeling Symposium, Eclipse Summit Europe, Ludwigsburg, Germany (2008)
EMF Index, Project Proposal, http://www.eclipse.org/proposals/emf-index/
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)
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)
Egyed, A.: Instant consistency checking for the UML. In: Proc. ICSE 2006, Shanghai, China, pp. 381–390. ACM Press, New York (2006)
Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology 12(1), 28–63 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rose, L.M. et al. (2010). Concordance: A Framework for Managing Model Integrity. In: Kühne, T., Selic, B., Gervais, MP., Terrier, F. (eds) Modelling Foundations and Applications. ECMFA 2010. Lecture Notes in Computer Science, vol 6138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13595-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-13595-8_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13594-1
Online ISBN: 978-3-642-13595-8
eBook Packages: Computer ScienceComputer Science (R0)