[1] He Tao, Miao Huaikou, Qian Zhongsheng,. Analysis and modeling of web services flow using π-calculus [J]. Journal of Southeast University (English Edition), 2006, 22 (3): 315-318. [doi:10.3969/j.issn.1003-7985.2006.03.005]
Copy
Analysis and modeling of web services flow using π-calculus(
)
)Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]
- Volumn:
- 22
- Issue:
- 2006 3
- Page:
- 315-318
- Research Field:
- Computer Science and Engineering
- Publishing date:
- 2006-09-30
Info
- Title:
- Analysis and modeling of web services flow using π-calculus
- Author(s):
- He Tao; Miao Huaikou; Qian Zhongsheng
- School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
- PACS:
- TP301
- DOI:
- 10.3969/j.issn.1003-7985.2006.03.005
- Abstract:
- In order to increase the effectiveness and the reliability of web services flow, the π-calculus formal method is introduced as a development language for web services flow.The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on.The π-calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built.The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed.Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.
References:
[1] Tang Yu, Chen Luo, He Kaitao, et al.SRN:an extended Petri-net-base workflow model for web service composition [A].In:Proc of IEEE International Conference on Web Services [C].San Diego, California, 2004.591-599.
[2] Salaun Gwen, Bordeaux Lucas, Schaerf Marco.Describing and reasoning on web services using process algebra [A].In:Proc of IEEE International Conference on Web Services[C].San Diego, California, 2004.43-50.
[3] Berardi D, Calvanese D, De Giacomo G, et al.Automatic composition of e-services that export their behavior[A].In:Proc of ICSOC’03, LNCS[C].Trento, Italy, 2003, 2910:43-58.
[4] Gao Yong, Liu Yu, Xie Kunqing, et al.A Petri nets-based model for web service composition [J].Computer Engineering, 2006, 32(6):17-18.(in Chinese)
[5] Ren Zhihong, Cao Jiannong, Chan A T S, et al.Toward a formal approach to composite web service, construction and automation [A].In:Proc of International Conference on Parallel Processing[C].Kaohsiung, 2003.436-443.
[6] Zhang Jia, Chang C K, Chung Jenyao, et al.WS-net:a Petri-net based specification model for web services [A].In:Proc of IEEE International Conference on Web Services[C].San Diego, California, 2004.420-427.
[7] Sangiorgi D, Walker D.The π-calculus:a theory of mobile processes [M].Cambridge University Press, 2001.580.
[8] Salaun Gwen, Bordeaux Lucas, Schaerf Marco.Describing and reasoning on Web services using process algebra[A]. In:Proc of IEEE International Conference on Web Services[C].San Diego, California, 2004.43-50.
[9]Gong Hongquan, Zhao Wenyun, Xu Ruzhi, et al.A research on pi-calculus based component evolution [J].Acta Electronica Sinica, 2004, 32(12):238-242.
[10] Victor B, Moller F.The mobility workbench-a tool for the pi-calculus [A]. In:Proc of CAV’94, LNCS[C].Stanford, California, 1994, 818:428-440.
Memo
- Memo:
- Biographies: He Tao(1973—), male, graduate;Miao Huaikou(corresponding author), male, professor, hkmiao@staff.shu.edu.cn.