论文信息 - Implementation of a Data-driven Workflow Management System

Implementation of a Data-driven Workflow Management System

In this paper, we present an approach for data-driven workflow modeling based on Petri Net model. The conceived workflow process can be analysed to verify its correctness before implementation. This workflow modeling approach has been implemented into a workflow management system that provides a set of graphical interfaces to model and execute the business process tasks.

[1] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .

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

[3] Maria E. Orlowska,et al. Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..

[4] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[5] Joël Ouaknine,et al. Nets with Tokens which Carry Data , 2008, Fundam. Informaticae.

[6] Manfred Reichert,et al. Data-Driven Modeling and Coordination of Large Process Structures , 2007, OTM Conferences.

[7] Serge Haddad,et al. Application and Theory of Petri Nets , 2012, Lecture Notes in Computer Science.

[8] Olivia R. Liu Sheng,et al. Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..

[9] Parosh Aziz Abdulla,et al. A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations , 2009, LATA.

[10] Fabrice Kordon,et al. Petri net approaches for modelling and validation , 2003 .

[11] Anil Nigam,et al. Business artifacts: An approach to operational specification , 2003, IBM Syst. J..