Towards semantics-aware merge support in optimistic model versioning

Authors:
Petra Brosch;Uwe Egly;Sebastian Gabmeyer;Gerti Kappel;Martina Seidl;Hans Tompits;Magdalena Widl;Manuel Wimmer
Affiliations:
Business Informatics Group, Vienna University of Technology, Austria;Institute for Information Systems, Vienna University of Technology, Austria;Business Informatics Group, Vienna University of Technology, Austria;Business Informatics Group, Vienna University of Technology, Austria;Institute of Formal Models and Verification, Johannes Kepler University, Austria;Institute for Information Systems, Vienna University of Technology, Austria;Institute for Information Systems, Vienna University of Technology, Austria;Business Informatics Group, Vienna University of Technology, Austria
Venue:
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Year:
2011

Citing 10
Cited 0

UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Managing Model Conflicts in Distributed Development

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Verifying UML/OCL Operation Contracts

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
CHARMY: A Framework for Designing and Verifying Architectural Specifications

IEEE Transactions on Software Engineering
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages

Electronic Notes in Theoretical Computer Science (ENTCS)
Colex: a web-based collaborative conflict lexicon

Proceedings of the 1st International Workshop on Model Comparison in Practice
Conflicts as first-class entities: a UML profile for model versioning

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A manifesto for semantic model differencing

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Detecting and resolving model inconsistencies using transformation dependency analysis

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.