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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 407–426, Toulouse, France, June 1997. Springer, Berlin, Germany, 1997.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
W.M.P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based Approach. Information Systems, To appear, 2000.
J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.
J. Esparza and M. Nielsen. Decidability Issues for Petri Nets-a Survey. Journal of Information Processing and Cybernetics, 30(3):210–242, 1994.
A. Finkel. The Minimal Coverability Graph for Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science, pages 210–243. Springer, Berlin, Germany, 1993.
R.R.A. Issa and R.F. Cox. Using Process Modeling and Workflow Integration to gain (ISO 9000) Certification in Construction. In CIB W89 Beijing International Conference on Construction, Modernization, and Education, Beijing, China, 1996.
Pallas Athena. Protos User Manual. Pallas Athena BV, Plasmolen, The Netherlands, 1997.
A. Sheth, K. Kochut, and J. Miller. Large Scale Distributed Information Systems (LSDIS) laboratory, METEOR project page. http://www.lsdis.cs.uga.edu/proj/meteor/meteor.html.
Software-Ley. COSA User Manual. Software-Ley GmbH, Pullheim, Germany, 1998.
Staffware. Staffware 97 / GWD User Manual. Staffware Plc, Berkshire, UK, 1997.
H.M.W. Verbeek and W.M.P. van der Aalst. Woflan Home Page. http://www.win.tue.nl/~woflan.
H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. Computing Science Report 99/02, Eindhoven University of Technology, Eindhoven, The Netherlands, 1999.
WFMC. Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Verbeek, E., van der Aalst, W.M.P. (2000). Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. ICATPN 2000. Lecture Notes in Computer Science, vol 1825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44988-4_28
Download citation
DOI: https://doi.org/10.1007/3-540-44988-4_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67693-5
Online ISBN: 978-3-540-44988-1
eBook Packages: Springer Book Archive