Paper Info
Title
On the semantics of EPCs: A framework for resolving the vicious circle
Abstract
One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or no formal definition is given at all. It can be shown that a single transition relation cannot precisely capture the informal idea of the non-local semantics of EPCs. Therefore, we formalize the non-local semantics of EPCs as a pair of two corresponding transition relations by employing standard techniques from fixed point theory. Actually, there are several choices when formalizing this semantics for EPCs. These choices, however, do not compromise the application of the underlying fixed point theory. Therefore, the mathematics applied in this paper can be considered as a semantical framework for formally defining different kinds of non-local semantics for EPCs. This framework can be used for the discussion and, eventually, for settling the discussion on the semantics of EPCs.
Year
DOI
Venue
2003
10.1007/978-3-540-25970-1_6
Lecture Notes in Computer Science
Keywords
Field
DocType
formal semantics,fixed point theory,event driven process chain
Virtuous circle and vicious circle,Programming language,Computer science,Formal specification,Formal description,Artificial intelligence,Semantics,Semantics of logic,Process management
Conference
Volume
ISSN
Citations 
3080
0302-9743
66
PageRank 
References 
Authors
4.47
5
1
Name
Order
Citations
PageRank
Ekkart Kindler11219105.52