Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
A State-of-the-Art Survey on Software Merging
IEEE Transactions on Software Engineering
Proceedings of the 24th International Conference on Software Engineering
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction
IEEE Transactions on Software Engineering
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Managing Model Conflicts in Distributed Development
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Detecting and Resolving Process Model Differences in the Absence of a Change Log
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Dependent and Conflicting Change Operations of Process Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Language-Independent Change Management of Process Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Change patterns and change support features in process-aware information systems
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Merging models with the epsilon merging language (EML)
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Precise detection of conflicting change operations using process model terms
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Version management of business process models requires that changes can be resolved by applying change operations. In order to give a user maximal freedom concerning the application order of change operations, position parameters of change operations must be computed dynamically during change resolution. In such an approach, change operations with computed position parameters must be applicable on the model and dependencies and conflicts of change operations must be taken into account because otherwise invalid models can be constructed. In this paper, we study the concept of partially specified change operations where parameters are computed dynamically. We provide a formalization for partially specified change operations using graph transformation and provide a concept for their applicability. Based on this, we study potential dependencies and conflicts of change operations and show how these can be taken into account within change resolution. Using our approach, a user can resolve changes of business process models without being unnecessarily restricted to a certain order.