| 一种改进的基于Pi演算的Web服务自动组装方法 |
| |
| 引用本文： | 刘琼,彭鑫,赵文耘.一种改进的基于Pi演算的Web服务自动组装方法[J].计算机工程与应用,2007,43(16):67-70. |
| |
| 作者姓名： | 刘琼 彭鑫 赵文耘 |
| |
| 作者单位： | 复旦大学 计算机科学与工程系，上海 200433 |
| |
| 基金项目： | 国家自然科学基金
,
国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 提出了一种改进的Web服务自动组装的方法，以提高Web服务组装的自动化。组装Web服务时，先用UML对复合Web服务进行建模，从UML模型得到复合服务的Pi演算描述，通过Pi演算的形式化验证，为这些逻辑子服务自动找到匹配的已实现的原子服务，最后生成可执行的复合Web服务。
|
| 关 键 词： | Web服务组装 Pi演算 UML |
| 文章编号： | 1002-8331（2007）16-0067-04 |
| 修稿时间： | 2006-09 |
Improved method of automated Web service composition using Pi-calculus |
| |
| 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. |
| |
| Authors: | LIU Qiong PENG Xin ZHAO Wen-yun |
| |
| Affiliation: | Department of Computer Science and Engineering，Fudan University，Shanghai 200433，China |
| |
| 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-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. |
| |
| Keywords: | Web service composition Pi-calculus UML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
