Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example

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 on various modeling language. 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 ...

• Type: Journal
• Year: 2010
• Where: IJEIS
• Authors: Kerstin Altmanninger, Wieland Schwinger, Gabriele Kotsis
• Keywords: Conflict Detection, IJEIS 2010, Modeling Language, Version Control System