Towards approximate equivalences of workflow processes

DOI

10.2991/icebi.2010.51How to use a DOI?

Keywords

Workflow process, trace equivalence, bisimulation, approximate equivalence

Abstract

Well-known notions of equivalence such as trace equivalence and bisimulation have been used to compare workflow processes; they describe the equivalence of processes whose activities are identical in each step. Possessing exactly the same activity in each step is quite rigorous, and sometimes we may meet processes which fail to fit this condition but which have quite similar behavior. To characterize this kind of looser equivalences, we introduce an approximate version of trace equivalence and bisimulation in this paper.

Copyright

© 2010, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Yongzhi Cao
AU  - Guoqing Chen
PY  - 2010/12
DA  - 2010/12
TI  - Towards approximate equivalences of workflow processes
BT  - Proceedings of the 1st International Conference on E-Business Intelligence (ICEBI 2010)
PB  - Atlantis Press
SP  - 363
EP  - 369
SN  - 1951-6851
UR  - https://doi.org/10.2991/icebi.2010.51
DO  - 10.2991/icebi.2010.51
ID  - Cao2010/12
ER  -