TY - JOUR A1 - Gerth, Christian T1 - Detection and resolution of conflicting change operations in version management of process models JF - Software & Systems Modeling N2 - Version management of process models requires that different versions of process models are integrated by applying change operations. Conflict detection between individually applied change operations and conflict resolution support are integral parts of version management. For conflict detection it is utterly important to compute a precise set of conflicts, since the minimization of the number of detected conflicts also reduces the overhead for merging different process model versions. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computation of conflicts solely on the syntax leads to an unnecessary high number of conflicts. Moreover, even the set of precisely computed conflicts can be extensive and their resolution means a significant workload for a user. As a consequence, adequate support is required that guides a user through the resolution process and suggests possible resolution strategies for individual conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts precisely, using a term formalization of process models and consider the subsequent resolution of the detected conflicts based on different strategies. Using this approach, we can significantly reduce the number of overall conflicts and reduce the amount of work for the user when resolving conflicts. Y1 - 2013 VL - 12 IS - 3 SP - 517 EP - 535 ER - TY - JOUR A1 - Gerth, Christian T1 - Adapt Cases: Extending Use Cases for Adaptive Systems JF - Proceedings - International Conference on Software Engineering N2 - Adaptivity is prevalent in today’s software. Mobile devices self-adapt to available network connections, washing machines adapt to the amount of laundry, etc. Current approaches for engineering such systems facilitate the specification of adaptivity in the analysis and the technical design. However, the modeling of platform independent models for adaptivity in the logical design phase remains rather neglected causing a gap between the analysis and the technical design phase. To overcome this situation, we propose an approach called Adapt Cases. Adapt Cases allow the explicit modeling of adaptivity with domain-specific means, enabling adaptivity to gather attention early in the software engineering process. Since our approach is based on the concept of use cases it is easy adoptable in new and even running projects that use the UML as a specification language, and additionally, can be easily incorporated into model-based development environments. Y1 - 2011 SP - 30 EP - 39 ER - TY - JOUR A1 - Gerth, Christian T1 - A Tool for Process Merging in Business-Driven Development JF - CAiSE Forum 344 N2 - Business-driven development favors the construction of process models at different abstraction levels and by different people. As a consequence, there is a demand for consolidating different versions of process models by merging them. In this paper, we study a basic scenario, derive requirements and present a prototype for detecting and resolving changes between process models. Y1 - 2008 UR - https://pdfs.semanticscholar.org/a0f1/b813b3753f9055af4c459f96c7b0fe35234b.pdf?_ga=2.223550802.853778355.1571040598-1786875762.1571040598 ER -