Cross-organizational Dynamic Business Process Oriented Role Network Model

Aim at the modeling and analysis of cross-organizational dynamic business process, firstly, the conceptual model of cross-organizational role network model (CORNM) is proposed by extending and improving existing role network model (RNM). Secondly, the formal description of CORNM is proposed by Pi-calculus. The cross-organizational dynamic business process can be modeled and its evolution can be step analyzed formally by using this model. In addition, the CORNM can also support the business process analysis well with the algebra deduction ability of Pi-calculus. Finally, an example of cross-organizational administrative permit is presented to verify the proposed model.

[1]  Howard Smith,et al.  Business Process Management : The Third Wave : Business Process Modelling Language ( BPML ) and Pi-Calculus Foundations , 2003 .

[2]  Zeng-gang Xiong,et al.  Grid Workflow Service Composition Based on Colored Petri Net , 2011 .

[3]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[4]  Huimin Liu,et al.  Modelling and analysis techniques for cross‐organizational workflow systems , 2009 .

[5]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[6]  John Mullins,et al.  Model-checking Web Services Orchestrations using BP-calculus , 2009, Electron. Notes Theor. Comput. Sci..

[7]  Hong Hou,et al.  A Business Process Modeling and Verification Architecture , 2009, 2009 Second International Conference on Future Information Technology and Management Engineering.

[8]  Wang Chengjun.  The Research and Application of the Workflow Technique Based on Petri Net in the Business Process Modeling , 2009, 2009 Second International Symposium on Knowledge Acquisition and Modeling.

[9]  Mathias Weske,et al.  Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

[10]  Liang Gao,et al.  A process-view approach for cross-organizational workflows management , 2010, Adv. Eng. Informatics.

[11]  Changjun Jiang,et al.  Modeling and monitoring of E-commerce workflows , 2009, Inf. Sci..

[12]  Chao Zuo,et al.  The reduction and deadlock detection of cross-organizational business process based on Pi-calculus , 2011 .

[13]  Yanjun Qian,et al.  Extended Workflow Patterns description in term of Pi-Calculus , 2010, 4th International Conference on New Trends in Information Science and Service Science.

[14]  Liming Zhu,et al.  Research of Government Horizon Business Integration Management System Based on HRNM and Agent , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops.

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

[16]  Alistair P. Barros,et al.  Scaling Choreography Modelling for B2B Value-Chain Analysis , 2008, BPM.

[17]  Zhilin Feng,et al.  A Formal Modeling Method for Grid Workflow Based on Concurrent Transaction Logic , 2011 .