Enhancing Conflict Resolution Mechanism for Automatic Model Composition

Open access


Despite the fact that model composition paradigm becomes very important and most commonly used, the support for their cooperation has not reached its full strength, especially in managing composition conflicts, because it’s often divided between and confused with other model composition features. This makes handling and dealing with these conflicts a crucial activity in the composition process. Models need to be put under version control in order to manage the probable conflicts, facilitate collaboration and control change. Therefore, a solution for detecting and resolving conflicts is needed. In this paper, we present a composition conflict resolver presented in the form of a repository that helps manage composition conflicts and analyse the model and operations performed on it.

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • [1] J. Bézivin S. Bouzitouna M. D. Del Fabro M. Gervais F. Jouault D. Kolovos I. Kurtev R. Paige “A Canonical Scheme for Model Composition” Proc. of ECMDA-FA LNCS 4066 Springer-Verlag 2006 pp. 346–360. http://dx.doi.org/10.1007/11787044_26

  • [2] J. Bézivin F. Jouault D. Touzet “An introduction to the ATLAS Model Management Architecture” LINA Nantes University Feb. 2005.

  • [3] B. Baudry “An overview of approaches Oriented Models Aspects” MOA days (Models oriented aspects) Toulouse 2009.

  • [4] N. E. Marzouki Y. Lakhrissi M. Elmohajir “A Study of Behavioral and Structural Composition Methods and Techniques” 978-1-4673-7689-1/IEEE-16-April 2016.

  • [5] B. Combemale “Meta modeling approach for simulation and model checking – Application to process engineering” Thesis of the National Polytechnic Institute of Toulouse July 2008.

  • [6] A. Muller “Construction of systems by applying parameterized models” Thesis of the University of Lille 1 June 2006.

  • [7] Atlas Model Weaver Project Web Page. (2005). Available: http://www.eclipse.org/gmt/amw/

  • [8] EMF Eclipse. Eclipse modeling framework. (2006). Available: http://www.sysml.org/docs/specs/OMGSysML-v1.1-08-11-01.pdf

  • [9] R. Pottinger and P. Bernstein “Towards Model Composition” in Proc. VLDB ACM 2003.

  • [10] P. Kelsen and Q. Ma “A Modular Model Composition Technique” in D.S. Rosenblum and G. Taentzer (Eds.). Fundamental Approaches to Software Engineering LNCS 6013 pp. 173–187 2010 Springer-Verlag Berlin Heidelberg. http://dx.doi.org/10.1007/978-3-642-12029-9_13

  • [11] I. H. Moghadam and M. O Cinneide “Resolving Conict and Dependency in Refactoring to a Desired Design” e-Informatica Software Engineering Journal vol. 9 Issue 1 2015. http://dx.doi.org/10.5277/e-Inf150103

  • [12] Y. Lin J. Gray and F. Jouault “DSMDiff: a differentiation tool for domain-specific models” European J. of Information Systems vol. 16 pp. 349–361 2007. http://dx.doi.org/10.1057/palgrave.ejis.3000685

  • [13] M. Alanen and I. Porres “Difference and Union of Models” in J. Whittle and G. Booch (eds.) “UML” 2003 - The Unified Modeling Language. Modeling Languages and Applications Stevens 2003. http://dx.doi.org/10.1007/978-3-540-45221-8_2

  • [14] Y. R. Reddy S. Ghosh R. B. France G. Straw et al. “Directives for Composing Aspect-Oriented Design Class Models” Transactions of Aspect-Oriented Software Development I vol. 3880 LNCS pp. 75–105 Springer. http://dx.doi.org/10.1007/11687061_3

  • [15] C. Brun and A. Pierantonio “Model differences in the eclipse modelling framework” The European J for the Informatics Professional UPGRADE vol. IX issue 2 pp. 29–34 2008.

  • [16] H. Zhang “Delay-insensitive networks” M.S. thesis University of Waterloo Waterloo ON Canada 1997.

  • [17] A. Rezi and M. Allam “Techniques in array processing by means of transformations” Control and Dynamic SystemsMultidemsional Systems: Signal Processing and Modeling Techniques C. T. Leondes Ed. San Diego: Academic Press vol. 69 pp. 133–180 1995. http://dx.doi.org/10.1016/S0090-5267(05)80040-4

  • [18] N. Osifchin and G. Vau “Power considerations for the modernization of telecommunications in Central and Eastern European and former Soviet Union (CEE/FSU) countries” in Second Int. Telecommun. Energy Special Conf. 1997 pp. 9–16. http://dx.doi.org/10.1109/TELESC.1997.655690

  • [19] M. Rinard A. Salcianu and S. Bugrara “A classification system and analysis for interactions in aspect-oriented programs” in Foundations of Software Engineering (FSE) pp. 147–158. ACM Oct. 2004. http://dx.doi.org/10.1145/1041685.1029917

  • [20] S. Katz “Diagnosis of harmful aspects using regression verification” in C. Clifton R. Lammel and G. T. Leavens (eds.) FOAL: Foundations Of Aspect-Oriented Languages pp. 1–6 Mar. 2004.

  • [21] S. Clarke and J. Murphy “Developing a tool to support the application of aspect-oriented programming principles to the design phase” in Proc. of the Int. Conf. on Software Engineering ICSE '98 Kyoto Japan April 1998.

  • [22] S. Clarke W. Harrison H. Ossher and P. Tarr. “Separating concerns throughout the development lifecycle” in Proc. of the 3rd ECOOP Aspect-Oriented Programming Workshop Lisbon Portugal June 1999.

  • [23] S. Clarke. “Extending standard UML with model composition semantics” Science of Computer Programming vol. 44 issue 1 pp. 71–100 Elsevier Science July 2002. http://dx.doi.org/10.1016/S0167-6423(02)00030-8

  • [24] R. Douence P. Fradet and M. Sudholt “Composition reuse and interaction analysis of stateful aspects” in K. Lieberherr (ed.) Proc. 3rd Int. Conf. on Aspect-Oriented Software Development AOSD ‘2004 pp. 141–150 ACM Press Mar. 2004. http://dx.doi.org/10.1145/976270.976288

  • [25] The Object Management Group (OMG). Unified Modeling Language. OMG Available: http://www.omg.org/docs/formal/03-03-01.pdf. Version 1.5 March 2003.

  • [26] UML Syntax and Semantics Guide V1.1 OMG ad/97-08-03 Available: www.rational.com/UML.

  • [27] A. Anwar “Formalization by IDM approach to compose models in the VUML profile” Thesis Toulouse University Dec. 2009.

  • [28] A. Kriouile “BOOM an object-oriented method of analysis and design through views” Thesis Faculty of Sciences Rabat Morocco 1995.

  • [29] I. H. Moghadam and M. O Cinneide “Resolving Conflict and Dependency in Refactoring to a Desired Design” e-Informatica Software Engineering J. vol. 9 issue 1 2015 pp. 37–56. http://dx.doi.org/10.5277/e-Inf150103

Journal information
All Time Past Year Past 30 Days
Abstract Views 0 0 0
Full Text Views 405 212 2
PDF Downloads 131 64 1