@inbook{9650a4ff15c04da5b63269d3465d6c82,
title = "Deciding behaviour compatibility of complex correspondences between process models",
abstract = "Compatibility of two process models can be verified using common notions of behaviour inheritance. However, these notions postulate 1:1 correspondences between activities of both models. This assumption is violated once activities from one model are refined or collapsed in the other model or in case there are groups of corresponding activities. Therefore, our work lifts the work on behaviour inheritance to the level of complex 1:n and n:m correspondences. Our contribution is (1) the definition of notions of behaviour compatibility for models that have complex correspondences and (2) a structural characterisation of these notions for sound free-choice process models that allows for computationally efficient reasoning. We show the applicability of our technique, by applying it in a case study in which we determine the compatibility between a set of reference process models and models that implement them.",
author = "M. Weidlich and R.M. Dijkman and M.H. Weske",
year = "2010",
doi = "10.1007/978-3-642-15618-2_8",
language = "English",
isbn = "978-3-642-15618-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "78--94",
editor = "R. Hull and J. Mendling",
booktitle = "Business process management, 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings",
address = "Germany",
note = "8th International Conference on Business Process Management (BPM 2010), September 13-16, 2010, Hoboken, NJ, USA, BPM 2010 ; Conference date: 13-09-2010 Through 16-09-2010",
}