Towards Semantics-Aware Merge Support in Optimistic Model Versioning

Petra Brosch; Uwe Egly; S. Gabmeyer; Gertrude Kappel; Martina Seidl; H. Tompits; M. Widl; Manuel Wimmer

Towards Semantics-Aware Merge Support in Optimistic Model Versioning

Petra Brosch
, Uwe Egly
, S. Gabmeyer
, Gertrude Kappel
, Martina Seidl
, H. Tompits
, M. Widl
, Manuel Wimmer

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

Current optimistic model versioning systems, which are indispensable to coordinate the collaboration within teams, are able to detect several kinds of conflicts between two concurrently modified versions of one model. These systems support the detection of syntactical problems such as contradicting changes, violations of the underlying metamodel, and violations of OCL constraints. However, violations of the models' semantics remain unreported. In this paper, we suggest to use redundant information inherent in multi-view models to check if the semantics is violated during the merge process. In particular, we exploit the information encoded in state machine diagrams to validate evolving sequence diagrams by means of the model checker SPIN.

Original language	English
Title of host publication	Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers
Publisher	Springer
Pages	246 - 256
Number of pages	11
Volume	7167
ISBN (Print)	978-3-642-29644-4
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102011 Formal languages
102 Computer Sciences
101 Mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@inproceedings{3d4d392f3362408bb587528390926ef9,

title = "Towards Semantics-Aware Merge Support in Optimistic Model Versioning",

abstract = "Current optimistic model versioning systems, which are indispensable to coordinate the collaboration within teams, are able to detect several kinds of conflicts between two concurrently modified versions of one model. These systems support the detection of syntactical problems such as contradicting changes, violations of the underlying metamodel, and violations of OCL constraints. However, violations of the models' semantics remain unreported. In this paper, we suggest to use redundant information inherent in multi-view models to check if the semantics is violated during the merge process. In particular, we exploit the information encoded in state machine diagrams to validate evolving sequence diagrams by means of the model checker SPIN.",

author = "Petra Brosch and Uwe Egly and S. Gabmeyer and Gertrude Kappel and Martina Seidl and H. Tompits and M. Widl and Manuel Wimmer",

year = "2012",

language = "English",

isbn = "978-3-642-29644-4",

volume = "7167",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "246 -- 256",

booktitle = "Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers",

}

Towards Semantics-Aware Merge Support in Optimistic Model Versioning. / Brosch, Petra; Egly, Uwe; Gabmeyer, S. et al.
Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers. Vol. 7167 Springer, 2012. p. 246 - 256 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Towards Semantics-Aware Merge Support in Optimistic Model Versioning

AU - Brosch, Petra

AU - Egly, Uwe

AU - Gabmeyer, S.

AU - Kappel, Gertrude

AU - Seidl, Martina

AU - Tompits, H.

AU - Widl, M.

AU - Wimmer, Manuel

PY - 2012

Y1 - 2012

N2 - Current optimistic model versioning systems, which are indispensable to coordinate the collaboration within teams, are able to detect several kinds of conflicts between two concurrently modified versions of one model. These systems support the detection of syntactical problems such as contradicting changes, violations of the underlying metamodel, and violations of OCL constraints. However, violations of the models' semantics remain unreported. In this paper, we suggest to use redundant information inherent in multi-view models to check if the semantics is violated during the merge process. In particular, we exploit the information encoded in state machine diagrams to validate evolving sequence diagrams by means of the model checker SPIN.

AB - Current optimistic model versioning systems, which are indispensable to coordinate the collaboration within teams, are able to detect several kinds of conflicts between two concurrently modified versions of one model. These systems support the detection of syntactical problems such as contradicting changes, violations of the underlying metamodel, and violations of OCL constraints. However, violations of the models' semantics remain unreported. In this paper, we suggest to use redundant information inherent in multi-view models to check if the semantics is violated during the merge process. In particular, we exploit the information encoded in state machine diagrams to validate evolving sequence diagrams by means of the model checker SPIN.

M3 - Conference proceedings

SN - 978-3-642-29644-4

VL - 7167

T3 - Lecture Notes in Computer Science (LNCS)

SP - 246

EP - 256

BT - Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers

PB - Springer

ER -