Verification of EPCs: using reduction rules and petri nets

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

79 Citations (Scopus)


Designing business models is a complicated and error prone task. On the one hand, business models need to be intuitive and easy to understand. On the other hand, ambiguities may lead to different interpretations and false consensus. Moreover, to configure process-aware information systems (e.g., a workflow system), the business model needs to be transformed into an executable model. Event-driven Process Chains (EPCs), but also other informal languages, are intended as a language to support the transition from a business model to an executable model. Many researchers have assigned formal semantics to EPCs and are using these semantics for execution and verification. In this paper, we use a different tactic. We propose a two-step approach where first the informal model is reduced and then verified in an interactive manner. This approach acknowledges that some constructs are correct or incorrect no matter what interpretation is used and that the remaining constructs require human judgment to assess correctness. This paper presents a software tool that supports this two-step approach and thus allows for the verification of real-life EPCs as illustrated by two case studies.

Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 13-17 June 2005, Porto, Portugal
EditorsO. Pastor, J. Falcão e Cunha
Place of PublicationBerlin
Number of pages15
ISBN (Print)3-540-26095-1
Publication statusPublished - 29 Sep 2005
Event17th International Conference on Advanced Information Systems Engineering (CAiSE 2005) - Porto, Portugal
Duration: 13 Jun 200517 Jun 2005
Conference number: 17

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference17th International Conference on Advanced Information Systems Engineering (CAiSE 2005)
Abbreviated titleCAiSE '05


Dive into the research topics of 'Verification of EPCs: using reduction rules and petri nets'. Together they form a unique fingerprint.

Cite this