Abstract
Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, most of today’s workflow products allow for erroneous processes to be put in production: these products lack proper verification mechanisms in their process-definition tools for the created or modified processes. This paper presents the workflow diagnosis tool Woflan, which fills this gap. Using Petri-net based techniques, Woflan diagnoses process definitions before they are put into production. These process definitions can be imported from commercial work-flow products. Furthermore, Woflan guides the modeler of a workflow process definition towards finding and correcting possible errors.
| Original language | English |
|---|---|
| Title of host publication | Application and theory of Petri nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June. |
| Editors | M Nielsen, D Simpson |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 475-484 |
| Publication status | Published - 2000 |
| Event | 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000 - Aarhus, Denmark Duration: 26 Jun 2000 → 30 Jun 2000 Conference number: 21 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 1825 |
| ISSN (Print) | 0302-9743 |
Conference
| Conference | 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000 |
|---|---|
| Abbreviated title | ICATPN 2000 |
| Country/Territory | Denmark |
| City | Aarhus |
| Period | 26/06/00 → 30/06/00 |