Abstract
Model Driven Engineering allows models to be considered as data and then used as first class entities in dedicated transformations languages. As a result, recurring problems linked to software production are emerging in this new development context. One such problem is to maintain an inter-model consistency during execution of a process based on models and model transformations. When some related models must co-evolve, what appends when different transformations are applied separately on each of these models? To prevent this, we assume that one of these models is the master model and we propose an automatic co-evolution of the other models based on the traceability of the main transformation. So the contribution of this paper is a conceptual framework where the necessary transformations of repercussion can be easily deployed.
This is a preview of subscription content, log in via an institution to check access.
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
Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM System Journal 45(3), 515–526 (2006)
Amar, B., Leblanc, H., Coulette, B.: A Traceability Engine Dedicated to Model Transformation for Software Engineering. In: ECMDA Traceability Workshop 2008, Berlin, pp. 7–16 (June 2008)
Amar, B., Leblanc, H., Coulette, B., Nebut, C.: Using Aspect-Oriented Programming to Trace Imperative Transformations (regular paper). In: Enterprise Distributed Object Computing Conference, Vitoria (Brazil), October 25-29, pp. 143–152. IEEE Computer Society - Conference Publishing Services (2010), http://www.computer.org/portal/web/cscps
Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Traceability mechanism for error localization in model transformation. In: 4th International Conference on Software and Data Technologies (ICSOFT), Sofia, Bulgaria (July 2009)
Banerjee, J., Kim, W., Kim, H.-J., Korth, H.F.: Semantics and implementation of schema evolution in object-oriented databases. SIGMOD Record 16(3), 311–322 (1987)
Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental Detection of Model Inconsistencies Based on Model Operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 32–46. Springer, Heidelberg (2009)
Budinsky, F., Grose, J.T., Steinberg, D., Ellersick, R., Merks, E.: Eclipse Modeling Framework: a developer’s guide. Addison-Wesley Professional (2003)
Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: EDOC 2008: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 222–231. IEEE Computer Society (2008)
Dhaussy, P., Pillain, P.-Y., Creff, S., Raji, A., Le Traon, Y., Baudry, B.: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 438–452. Springer, Heidelberg (2009)
Didonet Del Fabro, M., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling 8(3), 305–324 (2009)
DOMINO. DOMaINes et prOcessus méthodologique (2009), http://www.domino-rntl.org/
Drey, Z., Faucher, C., Fleurey, F., Vojtisek, D.: Kermeta language reference manual (2006)
Egyed, A.: Fixing inconsistencies in UML design models. In: Proceedings of the 29th International Conference on Software Engineering, pp. 292–301. IEEE Computer Society (2007)
Gansner, E.R., North, S.C.: An open graph visualization system and its applications. Software - Practice and Experience 30, 1203–1233 (1999)
Hößler, J., Soden, M., Eichler, H.: Coevolution of models, metamodels and transformations. In: Models and Human Reasoning, pp. 129–154. Wissenschaft und Technik Verlag, Berlin (2005)
IEEE. Standard Glossary of Software Engineering Terminology: IEEE Std 610.12-1990. Technical report, IEEE (1990)
Jouault, F.: Contribution to the study of model transformation languages. PhD thesis, Université de Nantes (2006)
Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Kolovos, D.S., Paige, R.F., Polack, F.A.: On-demand merging of traceability links with models. In: ECMDA-TW 2006 Proceedings, Bilbao, July 11, pp. 7–15 (2006)
Ramesh, B., Jarke, M.: Toward reference models for requirements traceability. IEEE Transactions on Software Engineering 27(1), 58–93 (2001)
Salay, R., Mylopoulos, J., Easterbrook, S.: Using Macromodels to Manage Collections of Related Models. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 141–155. Springer, Heidelberg (2009)
Sapna, P., Mohanty, H.: Ensuring consistency in relational repository of UML models. In: 10th International Conference on Information Technology (ICIT 2007), pp. 217–222 (2007)
Shinkawa, Y.: Inter-model consistency in uml based on cpn formalism. In: Asia-Pacific Software Engineering Conference, pp. 411–418 (2006)
Vanhooff, B., Berbers, Y.: Supporting modular transformation units with precise transformation traceability metadata. In: ECMDA-Traceability Workshop, Nuremberg, pp. 16–27 (2005)
Vernadat, F., Percebois, C., Farail, P., Vingerhoeds, R., Rossignol, A., Talpin, J.-P., Chemouil, D.: The TOPCASED Project - A Toolkit in OPen-source for Critical Applications and SystEm Development. In: Data Systems In Aerospace (DASIA), Berlin, Germany (2006)
Wachsmuth, G.: Metamodel Adaptation and Model Co-Adaptation. In: Bateni, M. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 600–624. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amar, B., Leblanc, H., Coulette, B., Dhaussy, P. (2013). Automatic Co-evolution of Models Using Traceability. In: Cordeiro, J., Virvou, M., Shishkov, B. (eds) Software and Data Technologies. ICSOFT 2010. Communications in Computer and Information Science, vol 170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29578-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-29578-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29577-5
Online ISBN: 978-3-642-29578-2
eBook Packages: Computer ScienceComputer Science (R0)