|Table of Contents|

[1] Hu Qingcheng, Xing Chunxiao, Yang Jijiang, et al. Dynamic business process modeling and verificationfor inter-organizational collaboration [J]. Journal of Southeast University (English Edition), 2007, 23 (3): 455-460. [doi:10.3969/j.issn.1003-7985.2007.03.032]
Copy

Dynamic business process modeling and verificationfor inter-organizational collaboration()
Share:

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:
23
Issue:
2007 3
Page:
455-460
Research Field:
Computer Science and Engineering
Publishing date:
2007-09-30

Info

Title:
Dynamic business process modeling and verificationfor inter-organizational collaboration
Author(s):
Hu Qingcheng1 2 Xing Chunxiao2 Yang Jijiang2 Yan Qi1 2 Li Yimin1 2
1Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
2Research Institute of Information Technology, Tsinghua University, Beijing 100084, China
Keywords:
inter-organizational collaboration pi-calculus business process modeling model verification
PACS:
TP301
DOI:
10.3969/j.issn.1003-7985.2007.03.032
Abstract:
To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory.A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration.Compatible with the traditional linear sequence model, the new model is an M×N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model.Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.

References:

[1] Simith Howard.Business process management-the third wave:business process modeling language(BPML)and its pi-calculus foundations [J].Information and Software Technology, 2003, 45(15):1065-1069.
[2] Smith H, Fingar P.Workflow is just a pi process [EB/OL].(2003-10-12)[2007-04-30].http://www.bpm3.com/picalculus.
[3] Milner R.Communicating and mobile systems:the pi-calculus [M].Cambridge University Press, 1999:46-67.
[4]Workflow Management Coalition(WfMC).WfMC-TC-1003 v1.1 19-Jan-95 workflow reference model [S].USA:WfMC, 1995.
[5]Workflow Management Coalition(WfMC).WfMC-TC-1011 v3 19-Feb-99 terminology & glossary [S].USA:WfMC, 1999.
[6] Aalst W.Workflow verification:finding control-flow errors using petri-net-based techniques [C]//Business Process Management.Berlin:Springer-Verlag, 2000:161-183.
[7] Li Hongchen, Shi Meilin.Workflow models and their formal descriptions [J].Chinese Journal of Computers, 2003, 26(11):1456-1463.(in Chinese)
[8] van der Aalst Wil, van Hee Kees.Workflow management:models, methods, and systems[M].Massachusetts:The MIT Press, 2002.
[9] Milner R.Communication and concurrency [M].Prentice Hall, 1989:26-39.
[10] Sangiorgi Davide, Walker David.The π-calculus:a theory of mobile processes[M].Cambridge University Press, 2001:51-61.
[11] Milner R, Parrow J, Walker D.A calculus of mobile processes[J].Information and Computation, 1992, 100(1):1-77.
[12] Chen Yuliu.IDEF modeling, analyzing and designing methods[M]. Beijing:Tsinghua University Press, 1999:36-41.(in Chinese)
[13] Tsai W T.Service-oriented system engineering:a new paradigm[C]//Proc of the IEEE Intl Workshop on Service-Oriented System Engineering (SOSE).Beijing, 2005:3-8.
[14] Erl Thomas.Service-oriented architecture (SOA):concepts, technology, and design [M].Prentice Hall, 2005:25-56.
[15] Victor B, Moller F.The mobile workbench—a tool for the π-calculus [C]//Proceeding of Computer-Aided Verification.Springer-Verlag, 1994:428-440.

Memo

Memo:
Biographies: Hu Qingcheng(1977—), male, graduate;Xing Chunxiao(corresponding author), male, doctor, professor, xingcx@tsinghua.edu.cn.
Last Update: 2007-09-20