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 verificationmechanisms 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 workflow 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 |
Subtitle of host publication | 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings |
Editors | Mogens Nielsen, Dan Simpson |
Publisher | Springer |
Chapter | 28 |
Pages | 475-484 |
Number of pages | 10 |
ISBN (Electronic) | 978-3-540-44988-1 |
ISBN (Print) | 978-3-540-67693-5 |
DOIs | |
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 (LNCS) |
---|---|
Publisher | Springer |
Volume | 1825 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
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 |