Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015 (2015), Article ID 650748, 9 pages
http://dx.doi.org/10.1155/2015/650748
Research Article

Composite-Level Conflict Detection in UML Model Versioning

School of Software Engineering, Tsinghua University, Beijing 100084, China

Received 9 February 2015; Accepted 11 May 2015

Academic Editor: Xiaoyu Song

Copyright © 2015 Zu Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. P. Zhang and G. Luo, “Research of model checking UML,” Computer Applications, vol. 27, no. 10, pp. 2493–2500, 2007. View at Google Scholar
  2. M. Xia, G. Luo, and M. Sun, “Modeling and model checking by modular approach,” in Proceedings of the 36th International Conference on Software Engineering (ICSE '14), pp. 628–629, Hyderabad, India, May 2014. View at Publisher · View at Google Scholar
  3. M. Xia, K. Lo, S. Shao, and M. Sun, “Formal modeling and verification for MVB,” Journal of Applied Mathematics, vol. 2013, Article ID 470139, 12 pages, 2013. View at Publisher · View at Google Scholar · View at Scopus
  4. T. Mens, “A state-of-the-art survey on software merging,” IEEE Transactions on Software Engineering, vol. 28, no. 5, pp. 449–462, 2002. View at Publisher · View at Google Scholar · View at Scopus
  5. R. Conradi and B. Westfechtel, “Version models for software configuration management,” ACM Computing Surveys, vol. 30, no. 2, pp. 232–282, 1998. View at Publisher · View at Google Scholar · View at Scopus
  6. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts, Refactoring: Improving the Design of Existing Code, X-Temp, 1999.
  7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, “Design patterns: abstraction and reuse of object-oriented design,” in ECOOP '93—Object-Oriented Programming, vol. 707 of Lecture Notes in Computer Science, pp. 406–431, Springer, 1993. View at Google Scholar
  8. C. Schneider, “CoObRA—a small step for development tools to collaborative environments,” in Proceedings of the 26th International Conference on Software Engineering (W2S Workshop '04) ‘Workshop on Directions in Software Engineering Environments (WoDiSEE '04)’, vol. 2004, pp. 21–28, 2004.
  9. M. Koegel and J. Helming, “EMFStore—a model repository for EMF models,” in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE '10), vol. 2, pp. 307–308, May 2010. View at Publisher · View at Google Scholar · View at Scopus
  10. E. Lippe and N. van Oosterom, “Operation-based textbased merge tools,” in Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments, pp. 78–87, ACM, Washington, DC, USA, December 1992.
  11. OMG, UML Infrastructure Specification, v2.4.1, OMG, 2011.
  12. M. Koegel, M. Herrmannsdoerfer, O. Von Wesendonk, and J. Helming, “Operation-based conflict detection,” in Proceedings of the 1st International Workshop on Model Comparison in Practice (IWMCP '10), pp. 21–30, July 2010. View at Publisher · View at Google Scholar · View at Scopus
  13. T. Kehrer, U. Kelter, and G. Taentzer, “A rule-based approach to the semantic lifting of model differences in the context of model versioning,” in Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE '11), pp. 163–172, IEEE, Lawrence, Kan, USA, November 2011. View at Publisher · View at Google Scholar · View at Scopus
  14. A. Rajbhoj and S. Reddy, “A graph-pattern based approach for meta-model specific conflict detection in a general-purpose model versioning system,” in Model-Driven Engineering Languages and Systems, vol. 8107 of Lecture Notes in Computer Science, pp. 422–435, Springer, Berlin, Germany, 2013. View at Publisher · View at Google Scholar
  15. K. Altmanninger, M. Seidl, and M. Wimmer, “A survey on model versioning approaches,” International Journal of Web Information Systems, vol. 5, no. 3, Article ID 1806332, pp. 271–304, 2009. View at Publisher · View at Google Scholar · View at Scopus
  16. D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, Addison-Wesley Professional, 2008.
  17. K. Altmanninger, A. Bergmayr, and W. Schwinger, “Semantically enhanced conflict detection between model versions in SMoVer by example,” in Proceedings of the Models in Software Engineering, Workshops and Symposia (MoDELS '07), pp. 293–304, 2007.
  18. K. Altmanninger, G. Kappel, A. Kusel et al., “AMOR towards adaptable model versioning,” in Proceedings of the 1st International Workshop on Model Co-evolution and Consistency Management in conjunction with MODELS 08, pp. 55–60, 2008.
  19. C. Gerth, J. M. Küster, M. Luckey, and G. Engels, “Detection and resolution of conflicting change operations in version management of process models,” Software and Systems Modeling, vol. 12, no. 3, pp. 517–535, 2013. View at Publisher · View at Google Scholar · View at Scopus
  20. P. Brosch, G. Kappel, M. Seidl et al., “Adaptable model versioning in action,” in Proceedings of the Modellierung (Modellierung '10), vol. 161, pp. 221–236, March 2010. View at Scopus
  21. T. Mens, G. Taentzer, and O. Runge, “Detecting structural refactoring conflicts using critical pair analysis,” Electronic Notes in Theoretical Computer Science, vol. 127, no. 3, pp. 113–128, 2005. View at Publisher · View at Google Scholar · View at Scopus