|
|||||
|
|
| Modeling and verifying Web services driven by requirements:An ontology-based approach | |
| 基金项目： | 国家自然科学基金;国家重点基础研究发展计划(973计划) |
| 摘 要： | |
| 关 键 词： | Web service environment ontology automatic composition π calculus formal verification. |
| 收稿时间： | 30 April 2006 |
| 修稿时间： | 4 September 2006 |
Modeling and verifying Web services driven by requirements: An ontology-based approach |
|
| Authors: | HOU Lishan JIN ZHi WU Budan |
| Affiliation: | 1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China;Institute of Software, Chinese Academy of Sciences, Beijing 100080, China 2. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China;Institute of Computing Technology, Chinese Academy of Sciences, Bejing 100080, China 3. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China;Graduate University of Chinese Academy of Sciences, Beijing 100049, China |
| Abstract: | |
| Keywords: | Web service environment ontology automatic composition formal verification |
| 本文献已被 万方数据 SpringerLink 等数据库收录！ | |