Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (16): 67-70.
• 学术探讨 • Previous Articles Next Articles
LIU Qiong,PENG Xin,ZHAO Wen-yun
Received:
Revised:
Online:
Published:
Contact:
刘 琼,彭 鑫,赵文耘
通讯作者:
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.
摘要: 提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。
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.
刘 琼,彭 鑫,赵文耘. 一种改进的基于Pi演算的Web服务自动组装方法[J]. 计算机工程与应用, 2007, 43(16): 67-70.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2007/V43/I16/67