Paper Info
Title
On the semantics of EPCs: Efficient calculation and simulation
Abstract
Recently, we have defined a formal semantics of Event driven Process Chains (EPCs) that, for the first time, faithfully captures the non-local behaviour of the XOR- and OR-join connectors. This fixed-point characterisation of the semantics of EPCs, however, does not provide an efficient algorithm for calculating the semantics of an EPC and for simulating it. In this paper, we will show how to calculate this semantics of an EPC in an efficient way by employing Kleene's fixed-point theorem and different techniques from symbolic model checking. These algorithms have been implemented in an open source tool for simulating and analysing EPCs: EPC Tools.
Year
DOI
Venue
2004
10.1007/11538394_30
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Keywords
Field
DocType
different technique,fixed-point characterisation,or-join connector,epc tools,efficient calculation,fixed-point theorem,non-local behaviour,process chains,efficient algorithm,analysing epcs,formal semantics,fixed point,event driven process chain,fixed point theory
Operational semantics,Model checking,Programming language,Business process,Computer science,Theoretical computer science,Semantics,Semantics of logic
Conference
Volume
Issue
ISSN
1
1
1866-3621
ISBN
Citations 
PageRank 
3-540-28238-6
19
1.77
References 
Authors
11
2
Name
Order
Citations
PageRank
Nicolas Cuntz1565.87
Ekkart Kindler21219105.52