Paper Info
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.
Year
DOI
Venue
2011
10.1007/978-3-642-29645-1_24
MoDELS Workshops
Keywords
Field
DocType
underlying metamodel,syntactical problem,current optimistic model,optimistic model versioning,redundant information,sequence diagram,ocl constraint,multi-view model,state machine diagram,model checker spin
Sequence diagram,Model checking,Computer science,Finite-state machine,Exploit,Theoretical computer science,Merge (version control),Metamodeling,Semantics,Software versioning
Conference
Citations 
PageRank 
References 
7
0.46
12
Authors
8
Name
Order
Citations
PageRank
Petra Brosch121417.97
Uwe Egly254445.57
Sebastian Gabmeyer3476.74
Gerti Kappel41575349.41
Martina Seidl568551.78
Hans Tompits6191697.73
Magdalena Widl7605.88
Manuel Wimmer81617130.11