• search hit 9 of 38
Back to Result List

Behaviour equivalence and compatibility of business process models with complex correspondences

  • Once multiple models of a business process are created for different purposes or to capture different variants, verification of behaviour equivalence or compatibility is needed. Equivalence verification ensures that two business process models specify the same behaviour. Since different process models are likely to differ with respect to their assumed level of abstraction and the actions that they take into account, equivalence notions have to cope with correspondences between sets of actions and actions that exist in one process but not in the other. In this paper, we present notions of equivalence and compatibility that can handle these problems. In essence, we present a notion of equivalence that works on correspondences between sets of actions rather than single actions. We then integrate our equivalence notion with work on behaviour inheritance that copes with actions that exist in one process but not in the other, leading to notions of behaviour compatibility. Compatibility notions verify that two models have the same behaviourOnce multiple models of a business process are created for different purposes or to capture different variants, verification of behaviour equivalence or compatibility is needed. Equivalence verification ensures that two business process models specify the same behaviour. Since different process models are likely to differ with respect to their assumed level of abstraction and the actions that they take into account, equivalence notions have to cope with correspondences between sets of actions and actions that exist in one process but not in the other. In this paper, we present notions of equivalence and compatibility that can handle these problems. In essence, we present a notion of equivalence that works on correspondences between sets of actions rather than single actions. We then integrate our equivalence notion with work on behaviour inheritance that copes with actions that exist in one process but not in the other, leading to notions of behaviour compatibility. Compatibility notions verify that two models have the same behaviour with respect to the actions that they have in common. As such, our contribution is a collection of behaviour equivalence and compatibility notions that are applicable in more general settings than existing ones.show moreshow less

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Matthias Weidlich, Remco Dijkman, Mathias WeskeORCiDGND
DOI:https://doi.org/10.1093/comjnl/bxs014
ISSN:0010-4620 (print)
ISSN:1460-2067 (online)
Parent Title (English):The computer journal : a publication of the British Computer Society
Publisher:Oxford Univ. Press
Place of publication:Oxford
Document Type:Article
Language:English
Year of first Publication:2012
Year of Completion:2012
Release Date:2017/03/26
Tag:behaviour compatibility; behaviour equivalence; behavioural models; model verification
Volume:55
Issue:11
Pagenumber:21
First Page:1398
Last Page:1418
Organizational units:An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH
Peer Review:Referiert