计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (16): 67-70.
• 学术探讨 • 上一篇 下一篇
刘 琼，彭 鑫，赵文耘
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
LIU Qiong，PENG Xin，ZHAO Wen-yun
Received:
Revised:
Online:
Published:
Contact:
摘要： 提出了一种改进的Web服务自动组装的方法，以提高Web服务组装的自动化。组装Web服务时，先用UML对复合Web服务进行建模，从UML模型得到复合服务的Pi演算描述，通过Pi演算的形式化验证，为这些逻辑子服务自动找到匹配的已实现的原子服务，最后生成可执行的复合Web服务。
Abstract: Combine the existing Web services to get the composite Web service，the process should be automatic，but in fact the step of searching for suitable Web service need to be done by people and is error-prone.So an improved method of automated Web service composition is proposed in this paper.Composite Web service is decomposed and modeled with UML.Then Pi-calculus specification can be extracted from UML model and used to verify the matching between existing Web services and subservices.Finally，Web service composition can be realized.
刘 琼，彭 鑫，赵文耘. 一种改进的基于Pi演算的Web服务自动组装方法[J]. 计算机工程与应用, 2007, 43(16): 67-70.
LIU Qiong，PENG Xin，ZHAO Wen-yun. Improved method of automated Web service composition using Pi-calculus[J]. Computer Engineering and Applications, 2007, 43(16): 67-70.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/
http://cea.ceaj.org/CN/Y2007/V43/I16/67
