GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Modellierung
  • P082 - Modellierung 2006
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Modellierung
  • P082 - Modellierung 2006
  • View Item

Verification of forbidden behavior in EPCs

Author:
Simon, Carlo [DBLP] ;
Mendling, Jan [DBLP]
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}
}
DateienGroesseFormatAnzeige
GI-Proceedings-82-19.pdf178.0Kb PDF View/Open

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 (en)
Content Type: Text/Conference Paper
Collections
  • P082 - Modellierung 2006 [29]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.