Name
Abstract | ||
|---|---|---|
Recently, Nüttgens and Rump proposed a formal semantics for Event driven Process Chains (EPCs), which should be fully compliant with the informal semantics of EPCs. But, their semantics has a severe flaw. This flaw reveals that there is a fundamental problem with the informal semantics of EPCs. Here, we pin-point the cause of this problem, we show that there is no sound formal semantics for EPCs that is fully compliant with the informal semantics, and we discuss some consequences. The semantics of Nüttgens and Rump, however, has several insufficiencies, from a tech- nical point of view, from a conceptual point of view, as well as from a practical point of view. These insufficiencies will be discussed in this paper. Moreover, we will show that these insufficiencies are inherent to the informal semantics of EPCs, to the effect that there cannot be a formal semantics of EPCs that is fully compliant with the informal seman- tics. Therefore, any formal semantics for EPCs will impose some restrictions on EPCs or will deviate form the informal semantics to some extend. Which restrictions or deviations are adequate, is a matter to be discussed. In this paper, we provide some input to such a discussion. |
Year | Venue | Field |
|---|---|---|
2002 | EPK | Virtuous circle and vicious circle,Programming language,Computer science,Semantics,Semantics of logic |
DocType | Citations | PageRank |
Conference | 54 | 5.89 |
References | Authors | |
4 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wil Van Der Aalst | 1 | 20894 | 1418.27 |
| Jörg Desel | 2 | 1041 | 168.99 |
| Ekkart Kindler | 3 | 1219 | 105.52 |