基于类型化Pi-演算的Web服务组合相容性检测

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (7): 120-124.

基于类型化Pi-演算的Web服务组合相容性检测

刘荣胜黄邵高春鸣

湖南师范大学数学与计算机科学学院湖南师范大学数学与计算机科学学院湖南师范大学数计院

收稿日期:2006-03-15 修回日期:1900-01-01 出版日期:2007-03-01 发布日期:2007-03-01
通讯作者: 刘荣胜

Checking Compatability of Web Services Composition

ChunMing Gao Gao

Received:2006-03-15 Revised:1900-01-01 Online:2007-03-01 Published:2007-03-01

摘要/Abstract

摘要： 本文定义了一个Pi-演算的类型系统，然后利用扩充后的类型化Pi-演算对BPEL4WS描述的web服务组合系统做了形式化表示。提出了基于类型化Pi-演算的服务组合相容性检测算法,并给出了一个银行贷款审批系统的检测实例片段，说明利用该算法检测服务组合系统相容性的可行性。

关键词: Pi-演算, 类型系统, web 服务, 相容性

Abstract: We have extended type system of Pi-calculus firstly, then we coded the compostion of web services,which discribled in BPEL4WS, in the extended Pi-calculus in this paper. Secondly,we provided an arithmetic for compatability of web services composition based on Pi-calculus with types,and we discribled the loan approval system of bank in Pi-calculus.we make use of this arithmatic to check the compatability of this system,finally.

Key words: Pi-calculus, system, web services, compatability

刘荣胜黄邵高春鸣. 基于类型化Pi-演算的Web服务组合相容性检测[J]. 计算机工程与应用, 2007, 43(7): 120-124.

ChunMing Gao Gao. Checking Compatability of Web Services Composition[J]. Computer Engineering and Applications, 2007, 43(7): 120-124.

[1]	祝义1，2，黄志球1，周航1，刘林源1，3. 函数式程序模板元编程的元建模实现方法[J]. 计算机工程与应用, 2018, 54(7): 1-10.
[2]	肖鹏1，刘娜1，季长清2，李媛媛3，路莹1，唐晓君1. 基于相容性分析的医疗诊断专家系统[J]. 计算机工程与应用, 2018, 54(23): 264-270.
[3]	蔡久顺，张执国，师鹏，张小刚. 二元语义互补判断矩阵的相容性及排序研究[J]. 计算机工程与应用, 2015, 51(24): 137-140.
[4]	贺晓丽，折延宏. 粗糙逻辑中理论相容性的拓扑刻画[J]. 计算机工程与应用, 2015, 51(2): 64-68.
[5]	杜久升，陈宜金. 移动数据传输安全性研究[J]. 计算机工程与应用, 2011, 47(34): 11-14.
[6]	王泽来,宋利军,冯志勇,李晓红. 支持四方物流的Web服务集成平台的设计与实现[J]. 计算机工程与应用, 2009, 45(7): 215-219.
[7]	李立峰. n值命题逻辑系统L_n^*中有限命题集的相容性与约简[J]. 计算机工程与应用, 2009, 45(13): 59-61.
[8]	靖红叶,余雪丽. 基于Pi-演算的WS-CDL编舞的描述和验证[J]. 计算机工程与应用, 2008, 44(13): 39-43.
[9]	袁霖王亚弟韩继红. 一种基于扩展Spi演算的类型系统[J]. 计算机工程与应用, 2007, 43(3): 131-131.
[10]	辜希武,卢正鼎. Web服务相容性的形式化描述与分析[J]. 计算机工程与应用, 2007, 43(27): 28-33.