[Zurück]


Beiträge in Tagungsbänden:

P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
"Towards Semantics-Aware Merge Support in Optimistic Model Versioning";
in: "Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers", Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, S. 246 - 256.



Kurzfassung englisch:
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.

Schlagworte:
model versioning, merging, uml


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-29645-1_24

Elektronische Version der Publikation:
http://www.springerlink.com/content/2q68670725672743/fulltext.pdf



Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.