Diagnosing Workflow Processes Using Woflan Export

@article{citeulike:4039362, abstract = {Workflow management technology promises a flexible solution for business-process support facilitating the easy creation of new business processes and modification of existing processes. Unfortunately, today\&\#039;s workflow products have no support for workflow verification. Errors made at design-time are not detected and result in very costly failures at run-time. This paper presents the verification tool Woflan. Woflan analyzes workflow process definitions downloaded from commercial workflow products using state-of-the-art Petri-net-based analysis techniques. This paper describes the functionality of Woflan emphasizing diagnostics to locate the source of a design error. Woflan is evaluated via two case studies, one involving 20 groups of students designing a complex workflow process and one involving an industrial workflow process designed by Staffware Benelux. The results are encouraging and show that Woflan guides the user in finding and correcting errors in the design of workflows.}, author = {Verbeek, H. M. W.}, citeulike-article-id = {4039362}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.3667}, journal = {The Computer Journal}, keywords = {verification, workflow}, posted-at = {2009-06-25 20:05:34}, priority = {2}, title = {Diagnosing Workflow Processes Using Woflan}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.3667}, volume = {44}, year = {2001} }

TY - JOUR ID - citeulike:4039362 L3 - citeulike-article-id:4039362 N2 - Workflow management technology promises a flexible solution for business-process support facilitating the easy creation of new business processes and modification of existing processes. Unfortunately, today's workflow products have no support for workflow verification. Errors made at design-time are not detected and result in very costly failures at run-time. This paper presents the verification tool Woflan. Woflan analyzes workflow process definitions downloaded from commercial workflow products using state-of-the-art Petri-net-based analysis techniques. This paper describes the functionality of Woflan emphasizing diagnostics to locate the source of a design error. Woflan is evaluated via two case studies, one involving 20 groups of students designing a complex workflow process and one involving an industrial workflow process designed by Staffware Benelux. The results are encouraging and show that Woflan guides the user in finding and correcting errors in the design of workflows. JF - The Computer Journal TI - Diagnosing Workflow Processes Using Woflan VL - 44 KW - verification KW - workflow AU - Verbeek, HMW PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.3667 ER -