CorPN: managing instance correspondence in collaborative business processes

Driven by the booming global business, organisations are required to align their business processes into an inter-connected network. The sophisticated nature of collaboration results in dynamic and complex interactions and correlations between participating business processes. This inevitably poses challenges to business process management in terms of recognising the instance correspondence and analysing the interaction behaviours of collaborative business processes. Nevertheless, this issue has received very limited attention from inter-organisational workflow research. In this paper, a novel correspondence Petri net model called CorPN is developed to specify instance correspondence with extensions to classical WF-Nets. In addition, a method is established to analyse the behavioural properties of CorPN nets for the purpose of process verification and examination.

[1]  Jacques Wainer,et al.  Proclets: A Framework for Lightweight Interacting Workflow Processes , 2001, Int. J. Cooperative Inf. Syst..

[2]  François Charoy,et al.  Multiple Instantiation in a Dynamic Workflow Environment , 2004, CAiSE.

[3]  Yun Yang,et al.  Aligning Collaborative Business Processes—An Organization-Oriented Perspective , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[5]  Jeremy Gibbons,et al.  A Process-Algebraic Approach to Workflow Specification and Refinement , 2007, SC@ETAPS.

[6]  Yun Yang,et al.  Handling Instance Correspondence in Inter-organisational Workflows , 2007, CAiSE.

[7]  S. Khoshafian Service Oriented Enterprises , 2006 .

[8]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[9]  Howard Smith,et al.  Business Process Management: The Third Wave , 2003 .

[10]  Nikolay Mehandjiev,et al.  Dynamic Business Process Formation for Instant Virtual Enterprises , 2010 .

[11]  Sjaak Brinkkemper,et al.  Conceptual Modelling in Information Systems Engineering , 2007 .

[12]  Chengfei Liu,et al.  Steering Dynamic Collaborations Between Business Processes , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  Vijayalakshmi Atluri,et al.  A decentralized execution model for inter-organizational workflows , 2007, Distributed and Parallel Databases.

[14]  Karim Djemame,et al.  Service-based collaborative workflow for DAME , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.

[15]  Maria E. Orlowska,et al.  Facilitating cross-organisational workflows with a workflow view approach , 2004, Data Knowl. Eng..

[16]  Mandy Krimme,et al.  SAP NetWeaver Process Integration , 2010 .

[17]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[18]  Wil M. P. van der Aalst,et al.  Service Interaction: Patterns, Formalization, and Analysis , 2009, SFM.

[19]  Samir Tata,et al.  The view-based approach to dynamic inter-organizational workflow cooperation , 2006, Data Knowl. Eng..

[20]  Arthur H. M. ter Hofstede,et al.  The Language: Rationale and Fundamentals , 2010, Modern Business Process Automation.

[21]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[22]  Rik Eshuis,et al.  Constructing customized process views , 2008, Data Knowl. Eng..

[23]  Marcus J. Healey,et al.  B2B Integration: A Practical Guide to Collaborative E-Commerce , 2002 .

[24]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[25]  Jacques Wainer,et al.  Workflow Modeling Using Proclets , 2000, CoopIS.

[26]  Wil M. P. van der Aalst,et al.  The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation , 2007, OTM Conferences.

[27]  Mathias Weske,et al.  Advances in business process management , 2004, Data Knowl. Eng..

[28]  Duen-Ren Liu,et al.  Workflow modeling for virtual processes: an order-preserving process-view approach , 2003, Inf. Syst..

[29]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[30]  Dickson K. W. Chiu,et al.  Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment , 2002, Distributed and Parallel Databases.

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

[32]  Mira Mezini,et al.  AO4BPEL: An Aspect-oriented Extension to BPEL , 2007, World Wide Web.

[33]  Christoph Bussler B2B Integration , 2003, Springer Berlin Heidelberg.

[34]  Qing Li,et al.  Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue , 2009, Inf. Syst. Frontiers.

[35]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[36]  Ali Azadeh,et al.  Design of the integrated information system, business, and production process by simulation , 2008, J. Assoc. Inf. Sci. Technol..

[37]  Donald F. Ferguson,et al.  Enterprise Business Process Management - Architecture, Technology and Standards , 2006, Business Process Management.