Abstract
The concept of model is widely used in the MDE approach in order to represent several software artifacts, which are handled by different development teams throughout the software life cycle. Management of these models requires the definition of a set of model management operators such as the composition operation. This is generally an operation, which is dedicated to merge a number of models in order to create one (or more) incorporated model and which depends on the application context. The current work focuses on the description of a formal approach for model composition where the composition is specified by a set of graph transformation rules over UML-compliant models. The semantics of our composition operator is defined using triple graph grammars (TGGs) formalism. Furthermore, we present a composition scheme interpreted by a three-steps composition process: matching, checking and merging.
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
Agrawal, A., Karsai, G., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Software and Systems Modeling 5(3), 261–288 (2006)
Anwar, A., Dkaki, T., Ebersold, S., Coulette, B., Nassar, M.: A formal approach to model composition applied to vuml. In: 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 188–197. IEEE (2011)
Anwar, A., Ebersold, S., Coulette, B., Nassar, M., Kriouile, A.: A rule-driven approach for composing viewpoint-oriented models. Journal of Object Technology 9(2), 89–114 (2010)
Boronat, A., Carsí, J.Á., Ramos, I., Letelier, P.: Formal model merging applied to class diagram integration. Electronic Notes in Theoretical Computer Science 166, 5–26 (2007)
Bottoni, P., Taentzer, G., Schurr, A.: Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In: Proceedings of the 2000 IEEE International Symposium on Visual Languages, pp. 59–60. IEEE (2000)
Brun, C., Pierantonio, A.: Model differences in the eclipse modelling framework. UPGRADE, The European Journal for the Informatics Professional (2008)
Chechik, M.: A relationship-based approach to model management. In: ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, p. 1. IEEE (2009)
Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the First International Workshop on Model-Driven Interoperability, pp. 42–51. ACM (2010)
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, S.: Termination criteria for model transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 49–63. Springer, Heidelberg (2005)
Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 161–177. Springer, Heidelberg (2004)
Förtsch, S., Westfechtel, B.: Differencing and merging of software diagrams. State of the Art and Challenges (2007)
France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing support for model composition in metamodels. In: 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, pp. 253–253. IEEE (2007)
Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543–557. Springer, Heidelberg (2006)
Greenyer, J., Kindler, E.: Reconciling tggs with qvt. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MoDELS 2007. LNCS, vol. 4735, pp. 16–30. Springer, Heidelberg (2007)
Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging models with the epsilon merging language (eml). In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 215–229. Springer, Heidelberg (2006)
Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: An analysis of approaches to support model differencing. In: ICSE Workshop on Comparison and Versioning of Software Models, CVSM 2009, pp. 1–6. IEEE (2009)
Königs, A., Schürr, A.: Mdi: A rule-based multi-document and tool integration approach. Software and Systems Modeling 5(4), 349–368 (2006)
La Rosa, M., Dumas, M., Uba, R., Dijkman, R.M.: Business process model merging: an approach to business process consolidation. ACM Transactions on Software Engineering and Methodology, TOSEM (2012)
Melnik, S., Garcia-Molina, H., Rahm, E.: Similarity flooding: A versatile graph matching algorithm and its application to schema matching. In: Proceedings of the 18th International Conference on Data Engineering, pp. 117–128. IEEE (2002)
Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. Journal of Software Maintenance and Evolution: Research and Practice 17(4), 247–276 (2005)
Niere, J., Zündorf, A.: Using fujaba for the development of production control systems. In: Nagl, M., Schürr, A., Münch, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 181–191. Springer, Heidelberg (2000)
Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M.: Consistency checking of conceptual models via model merging. In: 15th IEEE International Requirements Engineering Conference, RE 2007, pp. 221–230. IEEE (2007)
Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
Song, G., Zhang, K., Kong, J.: Model management through graph transformation. In: 2004 IEEE Symposium on Visual Languages and Human Centric Computing, pp. 75–82. IEEE (2004)
Taentzer, G.: AGG: A tool environment for algebraic graph transformation. In: Nagl, M., Schürr, A., Münch, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 481–488. Springer, Heidelberg (2000)
Xing, Z.: Model comparison with genericdiff. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 135–138. ACM (2010)
Xing, Z., Stroulia, E.: Umldiff: an algorithm for object-oriented design differencing. In: Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering, pp. 54–65. ACM (2005)
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
Anwar, A., Benelallam, A., Nassar, M., Coulette, B. (2013). A Graphical Specification of Model Composition with Triple Graph Grammars. In: Machado, R.J., Maciel, R.S.P., Rubin, J., Botterweck, G. (eds) Model-Based Methodologies for Pervasive and Embedded Software. MOMPES 2012. Lecture Notes in Computer Science, vol 7706. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38209-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-38209-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38208-6
Online ISBN: 978-3-642-38209-3
eBook Packages: Computer ScienceComputer Science (R0)