Christian Gerth, Markus Luckey, Jochen Küster, Gregor Engels:
Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In
Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10).
IEEE Computer Society, pp. 57-64
(2010). Best Student Paper of SCC 2010.
[
Show Abstract]
Modern business process modeling environments support distributed development by means of model version control, i. e., comparison and merging of two different model versions. This is a challenging task since most modeling languages support an almost arbitrary creation of process models. Thus, in multi-developer environments, process models or parts of them are often syntactically very different but semantically equivalent. Hence, the comparison of business process models must be performed on a semantic level rather then on a syntactic level. For the domain of business process modeling, this problem is yet unsolved.
This paper describes an approach that allows the semantic comparison of different business process models using a normal form. For that purpose, the process models are fully automatically translated into process model terms and normalized using a term rewriting system. The resulting normal forms can be efficiently compared and easily be used for reconciliation. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.
[
PDF] [
Show BibTeX]
@inproceedings{GerthSCC10,
author = {Christian Gerth AND Markus Luckey AND Jochen K{\"u}ster AND Gregor Engels},
title = {Detection of Semantically Equivalent Fragments for Business Process Model Change Management},
booktitle = {Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10)},
year = {2010},
pages = {57--64},
publisher = {IEEE Computer Society},
note = {Best Student Paper of SCC 2010.},
abstract = {Modern business process modeling environments support distributed development by means of model version control, i. e., comparison and merging of two different model versions. This is a challenging task since most modeling languages support an almost arbitrary creation of process models. Thus, in multi-developer environments, process models or parts of them are often syntactically very different but semantically equivalent. Hence, the comparison of business process models must be performed on a semantic level rather then on a syntactic level. For the domain of business process modeling, this problem is yet unsolved.This paper describes an approach that allows the semantic comparison of different business process models using a normal form. For that purpose, the process models are fully automatically translated into process model terms and normalized using a term rewriting system. The resulting normal forms can be efficiently compared and easily be used for reconciliation. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.}
}
[
DOI]
Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels:
Precise Detection of Conflicting Change Operations using Process Model Terms. In
D.C. Petriu, N. Rouquette, and Ø. Haugen (eds.): Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10).
Springer (Berlin/Heidelberg), LNCS, vol. 6395, no. Part II, pp. 93-107
(2010). ACM Distinguished Paper Award MODELS 2010.
[
Show 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.
[
PDF] [
Show BibTeX]
@inproceedings{GerthModels10,
author = {Christian Gerth AND Jochen K{\"u}ster AND Markus Luckey AND Gregor Engels},
title = {Precise Detection of Conflicting Change Operations using Process Model Terms},
booktitle = {Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)},
year = {2010},
editor = {D.C. Petriu, N. Rouquette, and {\O}. Haugen},
pages = {93--107},
publisher = {Springer},
address = {Berlin/Heidelberg},
month = {October},
note = {ACM Distinguished Paper Award MODELS 2010.},
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 computationof 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 resolvingconflicts.},
series = {LNCS},
volume = {6395}
}
[
DOI]
