|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
胡庆成1;  2;  邢春晓2;  杨吉江2;  严琪1;  2;  李益民1;  2
1清华大学计算机科学与技术系, 北京 100084; 2清华大学信息技术研究院, 北京 100084
Keywords:
inter-organizational collaboration;  pi-calculus;  business process modeling;  model verification
跨组织协作;  pi-演算;  业务流程建模;  模型验证
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.
为了实现随需应变、动态组合的跨组织协作业务流程模型, 将pi-演算理论引入业务流程建模与验证中, 应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系, 同时兼顾了以往单一的线性顺序关系模型, 并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证, 确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础, 为跨部门、跨区域分布式信息交互提供了新的思路和方法.

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