[Back]

P. Brosch, M. Seidl, M. Widl:
"Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams";
Talk: International Workshop on Comparison and Versioning of Software Models (CVSM 2013), Aachen; 2013-02-27; in: "Softwaretechnik-Trends", Gesellschaft für Informatik, 33/2 (2013), ISSN: 0720-8928; 1 - 3.

In multi-view modeling languages like UML, models contain several diagrams, each of which focusing on a specific aspect of the system. However, when the diagrams are combined, they give a coherent description of all static and dynamic aspects of the system. Diagrams may then extend each other or add constraints to other diagrams. Considering this additional information improves model versioning, as conflicts are revealed also in case their changes are not overlapping, and merge algorithms may provide solutions which are correct by construction.
This paper describes a challenge benchmark for semantics-aware merging of sequence diagrams with respect to their corresponding state machine diagrams.

Project Head Uwe Egly:
Quantified Boolean Formulas

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