Welcome to the InfoSci Platform
Reference Hub1
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example

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

Kerstin Altmanninger, Wieland Schwinger, Gabriele Kotsis
Copyright: © 2012 |Pages: 17
ISBN13: 9781466617612|ISBN10: 1466617616|EISBN13: 9781466617629
DOI: 10.4018/978-1-4666-1761-2.ch020
Cite Chapter Cite Chapter

MLA

Altmanninger, Kerstin, et al. "Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example." Enterprise Information Systems and Advancing Business Solutions: Emerging Models, edited by Madjid Tavana, IGI Global, 2012, pp. 337-353. https://doi.org/10.4018/978-1-4666-1761-2.ch020

APA

Altmanninger, K., Schwinger, W., & Kotsis, G. (2012). Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example. In M. Tavana (Ed.), Enterprise Information Systems and Advancing Business Solutions: Emerging Models (pp. 337-353). IGI Global. https://doi.org/10.4018/978-1-4666-1761-2.ch020

Chicago

Altmanninger, Kerstin, Wieland Schwinger, and Gabriele Kotsis. "Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example." In Enterprise Information Systems and Advancing Business Solutions: Emerging Models, edited by Madjid Tavana, 337-353. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-4666-1761-2.ch020

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.