{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T16:57:19Z","timestamp":1765040239256},"reference-count":33,"publisher":"IGI Global","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,1,1]]},"abstract":"<p>In collaborative software development, the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifacts emerged. Pessimistic approaches follow the lock-edit-unlock paradigm whereas optimistic approaches allow parallel editing of one resource, which are therefore the preferred ones. To be flexible for the ever increasing variety of modeling environments and languages such tools should be independent of the modeling environment and applicable to various modeling languages. Those VCS characteristics may implicate a lack of information for the conflict detection method by virtue of firstly receiving solely the state of an artifact without concrete editing operations and secondly due to unavailable knowledge about the semantics of a modeling language. However, in optimistic VCSs concurrent changes can result in conflicts and inconsistencies. In environment and language independent VCSs inconsistencies would even arise more often due to information losses. Hence, accurate conflict detection methods are indispensable for the realization of such VCSs. To tackle this task, the \u201cSemantically enhanced Model Version Control System\u201d SMoVer is presented. With SMoVer it is possible to specify the semantics of a modeling language, needed for conflict detection in order to provide more accurate conflict reports than other current environment and language independent VCSs. In this work, it is exemplified how semantics of a specific modeling language can be specified in SMoVer, how those specifications can improve the accuracy of conflict reports and finally how those can be presented to modelers.<\/p>","DOI":"10.4018\/jeis.2010120206","type":"journal-article","created":{"date-parts":[[2010,4,16]],"date-time":"2010-04-16T19:24:29Z","timestamp":1271445869000},"page":"68-84","source":"Crossref","is-referenced-by-count":9,"title":["Semantics for Accurate Conflict Detection in SMoVer"],"prefix":"10.4018","volume":"6","author":[{"given":"Kerstin","family":"Altmanninger","sequence":"first","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wieland","family":"Schwinger","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Kotsis","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2432","reference":[{"key":"jeis.2010120206-0","doi-asserted-by":"crossref","unstructured":"Alanen, M., & Porres, I. (2003). Difference and union of models. In P. Stevens, J. Whittle, and G. Booch (Ed.), UML 2003 \u2013 The Unified Modeling Language (LNCS 2863, pp. 2-17).","DOI":"10.1007\/978-3-540-45221-8_2"},{"key":"jeis.2010120206-1","unstructured":"Allilaire, F., B\u00e9zivin, J., Jouault, F., & Kurtev, I. (2006). ATL \u2013 Eclipse support for model transformation. Paper presented at the Eclipse Technology eXchange Workshop (eTX) at the ECOOP Conference."},{"key":"jeis.2010120206-2","doi-asserted-by":"crossref","unstructured":"Altmanninger, K. (2008). Models in conflict \u2013 towards a semantically enhanced version control system for models. In H. Giese (Ed.), Models in Software Engineering (LNCS 5002, pp. 293-304).","DOI":"10.1007\/978-3-540-69073-3_31"},{"key":"jeis.2010120206-3","unstructured":"Altmanninger, K., Kappel, G., Kusel, A., Retschitzegger, W., Schwinger, W., Seidl, M., et al. (2008). AMOR \u2013 towards adaptable model versioning. Paper presented at the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM) at the ACM\/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS)."},{"issue":"9","key":"jeis.2010120206-4","first-page":"165","article-title":"A metamodel independent approach to difference representation. Journal of Object Technology","volume":"6","author":"A.Cicchetti","year":"2007","journal-title":"Special Issue on TOOLS EUROPE"},{"key":"jeis.2010120206-5","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., & Rossini, A. (2007). Weaving models in conflicts detection specifications. In Proceedings of the ACM Symposium on Applied Computing (pp. 1035-1036). ACM Publishing.","DOI":"10.1145\/1244002.1244227"},{"key":"jeis.2010120206-6","doi-asserted-by":"publisher","DOI":"10.1145\/280277.280280"},{"key":"jeis.2010120206-7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.29"},{"key":"jeis.2010120206-8","unstructured":"Eclipse Foundation. (2008). Eclipse Modeling Framework Project (EMF). Retrieved August 29, 2008, from http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"jeis.2010120206-9","doi-asserted-by":"crossref","unstructured":"Edwards, W. (1997). Flexible conflict detection and management in collaborative applications. In Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology (pp. 139-148).","DOI":"10.1145\/263407.263533"},{"key":"jeis.2010120206-10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.048"},{"key":"jeis.2010120206-11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"jeis.2010120206-12","unstructured":"IBM. (2008). IBM Rational Software Architect. Retrieved August 29, 2008, from http:\/\/www-306.ibm.com\/software\/awdtools\/architect\/swarchitect"},{"key":"jeis.2010120206-13","unstructured":"Leser, U., & Naumann, F. (2006). Informationsintegration: Architekturen und Methoden zur Integration verteilter und heterogener Datenquellen. Heidelberg, Germany: Dpunkt Verlag."},{"key":"jeis.2010120206-14","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.ejis.3000685"},{"key":"jeis.2010120206-15","doi-asserted-by":"publisher","DOI":"10.1145\/142882.143753"},{"key":"jeis.2010120206-16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1000449"},{"key":"jeis.2010120206-17","doi-asserted-by":"crossref","unstructured":"Murta, L., Corr\u00eaa, C., Prud\u00eancio, J. G., & Werner, C. (2008). Towards Odyssey-VCS 2: improvements over a UML-based version control system. In Proceedings of the International Workshop on Comparison and Versioning of Software Models (pp. 25-30).","DOI":"10.1145\/1370152.1370159"},{"key":"jeis.2010120206-18","unstructured":"OASIS. (2007). Web Services Business Process Execution Language Version 2.0. Retrieved August 29, 2008, from http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"jeis.2010120206-19","unstructured":"Object Management Group. (2005). OCL 2.0 Specification. Retrieved August 29, 2008, from http:\/\/www.omg.org\/docs\/ptc\/05-06-06.pdf"},{"key":"jeis.2010120206-20","doi-asserted-by":"crossref","unstructured":"Oda, T., & Saeki, M. (2005). Generative technique of version control systems for software diagrams. In Proceedings of the 21st IEEE International Conference on Software Maintenance (pp. 515-524). Washington, DC: IEEE Computer Society.","DOI":"10.1109\/ICSM.2005.49"},{"key":"jeis.2010120206-21","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940102"},{"key":"jeis.2010120206-22","doi-asserted-by":"crossref","unstructured":"Rivera, J. E., & Vallecillo, A. (2008). Representing and operating with model differences. In R. F. Paige & B. Meyer (Eds.), Proceedings of Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE (LNBIP 11, pp. 141-160).","DOI":"10.1007\/978-3-540-69824-1_9"},{"key":"jeis.2010120206-23","doi-asserted-by":"crossref","unstructured":"Ryndina, K., K\u00fcster, J. M., & Gall, H. (2007). Consistency of business process models and object life cycles. In T. K\u00fchne (Ed.) Models in Software Engineering (LNCS 4364, pp. 80-90).","DOI":"10.1007\/978-3-540-69489-2_11"},{"key":"jeis.2010120206-24","unstructured":"Savannah. (2008). Concurrent Versions System (CVS). Retrieved August 29, 2008, from http:\/\/www.nongnu.org\/cvs\/"},{"key":"jeis.2010120206-25","unstructured":"Schneider, C., & Z\u00fcndorf, A. (2007). Experiences in using optimistic locking in Fujaba. Paper presented at the Workshop on Comparison and Versioning of UML Models."},{"key":"jeis.2010120206-26","doi-asserted-by":"crossref","unstructured":"Shao, D., Khurshid, S., & Perry, D. E. (2007). Evaluation of semantic interference detection in parallel changes: An exploratory experiment. In Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM) (pp. 74-83).","DOI":"10.1109\/ICSM.2007.4362620"},{"key":"jeis.2010120206-27","unstructured":"Slonegger, K., & Kurtz, B. (1995). Formal syntax and semantics of programming languages: a laboratory based approach. Boston: Addison-Wesley Longman."},{"key":"jeis.2010120206-28","unstructured":"SMOVER. (2008). SMoVer: A Semantically Enhanced Version Control System for Models. Retrieved August 29, 2008, from http:\/\/smover.tk.uni-linz.ac.at\/"},{"key":"jeis.2010120206-29","unstructured":"Thione, G. L., & Perry, D. E. (2005). Parallel changes: Detecting semantic interferences. In Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC) (Vol. 1, pp. 47-56). Washington, DC: IEEE Computer Society."},{"key":"jeis.2010120206-30","unstructured":"Tigris. (2008). Subversion. Retrieved August 29, 2008, from http:\/\/subversion.tigris.org\/"},{"key":"jeis.2010120206-31","unstructured":"Toulm\u00e9, A. (2006). Presentation of EMF compare utility. Paper presented at the Eclipse Modeling Symposium."},{"key":"jeis.2010120206-32","unstructured":"V\u00f6lkel, M. (2006). D2.3.3.v2 SemVersion \u2013 versioning RDF and ontologies. Retrieved August 29, 2008, from http:\/\/www.aifb.uni-karlsruhe.de\/Publikationen\/showPublikation?publ_id=1163"}],"container-title":["International Journal of Enterprise Information Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=39049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T02:11:41Z","timestamp":1654135901000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jeis.2010120206"}},"subtitle":["Specification, Detection and Presentation by Example"],"short-title":[],"issued":{"date-parts":[[2010,1,1]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"URL":"https:\/\/doi.org\/10.4018\/jeis.2010120206","relation":{},"ISSN":["1548-1115","1548-1123"],"issn-type":[{"value":"1548-1115","type":"print"},{"value":"1548-1123","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,1]]}}}