一种改进的基于Pi演算的Web服务自动组装方法  

Improved method of automated Web service composition using Pi-calculus

作　　者：刘琼[1] 彭鑫[1] 赵文耘[1] 

机构地区：[1]复旦大学计算机科学与工程系,上海200433

出　　处：《计算机工程与应用》2007年第16期67-70,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60473061);国家高技术研究发展计划(863) (the National High- Tech Research and Development Plan of China under Grant No.2005AA113120)

摘　　要：提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。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-calcu- lus 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服务组装 PI演算 UML 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]