Modeling and verifying Web services driven by requirements: An ontology-based approach
文献类型：期刊论文
| 作者 | Hou Lishan; Jin Zhi; Wu Budan |
| 刊名 | SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
 |
| 出版日期 | 2006-12-01 |
| 卷号 | 49期号:6页码:792-820 |
| 关键词 | web service environment ontology automatic composition pi calculus formal verification |
| ISSN号 | 1009-2757 |
| DOI | 10.1007/s11432-006-2031-5 |
| 英文摘要 | Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects: the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with pi calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000244103600006 |
| 出版者 | SCIENCE CHINA PRESS |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/10384]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Hou Lishan |
| 作者单位 | 1.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China 2.Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China 3.Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 4.Grad Univ, Chinese Acad Sci, Beijing 100049, Peoples R China |
| 推荐引用方式 GB/T 7714 | Hou Lishan,Jin Zhi,Wu Budan. Modeling and verifying Web services driven by requirements: An ontology-based approach[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2006,49(6):792-820. |
| APA | Hou Lishan,Jin Zhi,&Wu Budan.(2006).Modeling and verifying Web services driven by requirements: An ontology-based approach.SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,49(6),792-820. |
| MLA | Hou Lishan,et al."Modeling and verifying Web services driven by requirements: An ontology-based approach".SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 49.6(2006):792-820. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。