摘要
提出了一种改进的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.
出处
《计算机工程与应用》
CSCD
北大核心
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)