Verification of forbidden behavior in EPCs
| dc.contributor.author | Simon, Carlo | |
| dc.contributor.author | Mendling, Jan | |
| dc.contributor.editor | Mayr, Heinrich C. | |
| dc.contributor.editor | Breu, Ruth | |
| dc.date.accessioned | 2019-08-12T13:25:09Z | |
| dc.date.available | 2019-08-12T13:25:09Z | |
| dc.date.issued | 2006 | |
| dc.description.abstract | Event-driven process chains (EPCs) are frequently used as a modeling language for the representation of business processes. As such, business analysts are familiar with using EPC models in the context of business process management. Up to now, there is no verification technique available that allows business analysts to express forbidden behavior in an intuitive manner. In this paper, we discuss the specification of such forbidden behavior with the aid of EPCs and demonstrate the verification of this behavior against models of the desired behavior, also formulated as EPC diagrams. For this purpose, a novel approach to join EPC models and to interpret the result is discussed. It is based on a transformation of both EPC models to Module nets, a specific kind of Petri nets, and the application of verification methods already defined for this net class. The findings are illustrated with a running example that picks up an EPC process model from the SAP reference model. | en |
| dc.identifier.isbn | 3-88579-175-7 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/24230 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Modellierung 2006 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-82 | |
| dc.title | Verification of forbidden behavior in EPCs | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 242 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 233 | |
| gi.conference.date | 22.-24. März 2006 | |
| gi.conference.location | Innsbruck, Austria | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings-82-19.pdf
- Größe:
- 178.08 KB
- Format:
- Adobe Portable Document Format