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

Kerstin Altmanninger, Wieland Schwinger and Gabriele Kotsis
Additional contact information
Kerstin Altmanninger: Johannes Kepler University Linz, Austria
Wieland Schwinger: Johannes Kepler University Linz, Austria
Gabriele Kotsis: Johannes Kepler University Linz, Austria

International Journal of Enterprise Information Systems (IJEIS), 2010, vol. 6, issue 1, 68-84

Abstract: 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 “Semantically enhanced Model Version Control System” 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.

Date: 2010
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 4018/jeis.2010120206 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jeis00:v:6:y:2010:i:1:p:68-84

Access Statistics for this article

International Journal of Enterprise Information Systems (IJEIS) is currently edited by Gianluigi Viscusi

More articles in International Journal of Enterprise Information Systems (IJEIS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().