| Web服务组合形式理论分析与研究 |
| |
| 引用本文： | 常宏达,孙文辉,于双元,丁丁.Web服务组合形式理论分析与研究[J].兵工自动化,2009,28(5):91-96. |
| |
| 作者姓名： | 常宏达 孙文辉 于双元 丁丁 |
| |
| 作者单位： | 北京交通大学,计算机学院,北京,100044 |
| |
| 摘 要： | 形式化方法对于建模和验证软件系统是一种有效的方法。对于Web服务及其组合来说，保证其组合正确性以实现其服务增值十分必要。分析Web服务的综合特征，总结Web服务组合的典型特征，重点介绍有代表性的Web服务组合形式模型和方法，包括OWL（DAML—S）、进程代数类的CSP和π-演算、自动机理论的米兰机以及Petri网。通过综合比较与分析，对各个模型和方法给出一定评价，为系统地建立Web服务组合形式理论打下基础。
|
| 关 键 词： | Web服务 形式方法 Petri网 进程代数 自动机 |
Theoretical Analysis of Web Service Composition |
| |
| CHANG Hong-da,SUN Wen-hui,YU Shuang-yuan,DING Ding.Theoretical Analysis of Web Service Composition[J].Ordnance Industry Automation,2009,28(5):91-96. |
| |
| Authors: | CHANG Hong-da SUN Wen-hui YU Shuang-yuan DING Ding |
| |
| Affiliation: | College of Computer;Beijing Jiaotong University;Beijing 100044;China |
| |
| Abstract: | Formalized arithmetic is an effective method for software system verification and modeling. For the web service and its combination, it is very necessary to guarantee the correctness of its combination and realize service value-added. The paper analyzed the comprehensive characteristics of web service, summarized the typical characteristics of web service composition and emphatically introduced the representative model and method of web service composition, including OWL （DAML-S）, CSP and n-calculus of the process algebra, Milan machine in automata theory and petri net. According to synthetical comparison and analysis, we evaluated the each model and method, which is as the basis for systematic establishment of web service composition theory. |
| |
| Keywords: | Web service Formalized arithmetic Petri net Process algebra Automata |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
