Verification of forbidden behavior in EPCs
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.
- Citation
- BibTeX
Simon, C. & Mendling, J.,
(2006).
Verification of forbidden behavior in EPCs.
In:
Mayr, H. C. & Breu, R.
(Hrsg.),
Modellierung 2006.
Bonn:
Gesellschaft für Informatik e.V..
(S. 233-242).
@inproceedings{mci/Simon2006,
author = {Simon, Carlo AND Mendling, Jan},
title = {Verification of forbidden behavior in EPCs},
booktitle = {Modellierung 2006},
year = {2006},
editor = {Mayr, Heinrich C. AND Breu, Ruth} ,
pages = { 233-242 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Simon, Carlo AND Mendling, Jan},
title = {Verification of forbidden behavior in EPCs},
booktitle = {Modellierung 2006},
year = {2006},
editor = {Mayr, Heinrich C. AND Breu, Ruth} ,
pages = { 233-242 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Dateien | Groesse | Format | Anzeige | |
---|---|---|---|---|
GI-Proceedings-82-19.pdf | 178.0Kb | View/ |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 3-88579-175-7
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2006
Language:
(en)

Content Type: Text/Conference Paper