Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (7): 120-124.

• 产品、研发、测试 • Previous Articles     Next Articles

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

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

刘荣胜 黄邵 高春鸣   

  1. 湖南师范大学数学与计算机科学学院 湖南师范大学数学与计算机科学学院 湖南师范大学数计院
  • 通讯作者: 刘荣胜

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

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