Precise Detection of Conflicting Change Operations using Process Model Terms
C. Gerth, J. Küster, M. Luckey, G. Engels, in: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), Springer, Berlin/Heidelberg, 2010, pp. 93–107.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Gerth, Christian;
Küster, Jochen;
Luckey, Markus;
Engels, GregorLibreCat
Department
Abstract
Version management of process models requires that changes can be resolved by applying change operations. Conflict detection is an important part of version management and the minimization of the number of detected conflicts also reduces the overhead when resolving changes. 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. 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, using a term formalization of process models. Using this approach, we can significantly reduce the number of overall conflicts and thereby reduce the amount of work for the user when resolving conflicts.
Publishing Year
Proceedings Title
Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)
forms.conference.field.series_title_volume.label
LNCS
Volume
6395
Issue
Part II
Page
93-107
LibreCat-ID
Cite this
Gerth C, Küster J, Luckey M, Engels G. Precise Detection of Conflicting Change Operations using Process Model Terms. In: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10). Vol 6395. LNCS. Berlin/Heidelberg: Springer; 2010:93-107. doi:http://dx.doi.org/10.1007/978-3-642-16129-2_8
Gerth, C., Küster, J., Luckey, M., & Engels, G. (2010). Precise Detection of Conflicting Change Operations using Process Model Terms. In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10) (Vol. 6395, pp. 93–107). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-16129-2_8
@inproceedings{Gerth_Küster_Luckey_Engels_2010, place={Berlin/Heidelberg}, series={LNCS}, title={Precise Detection of Conflicting Change Operations using Process Model Terms}, volume={6395}, DOI={http://dx.doi.org/10.1007/978-3-642-16129-2_8}, number={Part II}, booktitle={Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10)}, publisher={Springer}, author={Gerth, Christian and Küster, Jochen and Luckey, Markus and Engels, Gregor}, year={2010}, pages={93–107}, collection={LNCS} }
Gerth, Christian, Jochen Küster, Markus Luckey, and Gregor Engels. “Precise Detection of Conflicting Change Operations Using Process Model Terms.” In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), 6395:93–107. LNCS. Berlin/Heidelberg: Springer, 2010. http://dx.doi.org/10.1007/978-3-642-16129-2_8.
C. Gerth, J. Küster, M. Luckey, and G. Engels, “Precise Detection of Conflicting Change Operations using Process Model Terms,” in Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), 2010, vol. 6395, no. Part II, pp. 93–107.
Gerth, Christian, et al. “Precise Detection of Conflicting Change Operations Using Process Model Terms.” Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), vol. 6395, no. Part II, Springer, 2010, pp. 93–107, doi:http://dx.doi.org/10.1007/978-3-642-16129-2_8.
Google Scholar