An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis

The increasing dynamics and the continuous changes of business processes raise a challenge to the research and implementation of workflows. The significance of applying formal approaches to the modeling and analysis of workflows has been well recognized and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive approach for the modeling and analysis of workflows, which attempts to overcome the above problem. In addition to the abilities of supporting workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the workflow models that address their business needs.

[1]  Lars G Fischer Workflow Handbook 2002, Workflow Management Coalition , 2002 .

[2]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[3]  Jiacun Wang,et al.  Timed Petri Nets , 1998, The Kluwer International Series on Discrete Event Dynamic Systems.

[4]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[5]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[6]  M. Z. Muehlen,et al.  Workflow Management Coalition , 2000 .

[7]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

[8]  Daniela Rosca,et al.  Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle , 2002, Automated Software Engineering.

[9]  Amit P. Sheth,et al.  Specifying and Enforcing Intertask Dependencies , 1993, VLDB.

[10]  Paul Dourish,et al.  Process descriptions as organisational accounting devices: the dual use of workflow technologies , 2001, GROUP.

[11]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[12]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[13]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[14]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

[15]  Dan C. Marinescu Internet Based Workflow Management: Towards a Semantic Web , 2002 .

[16]  Munindar P. Singh,et al.  An Event Algebra for Specifying and Scheduling Workflows , 1995, DASFAA.