Institutional Repository
| path-based verification for composition of semantic web services | |
| Shi Yuxiang; Yan Jun; Li Zhongjie; Zhu Jun | |
| 2008 | |
| Conference Name | 23rd Annual ACM Symposium on Applied Computing |
| Source | Proceedings of the ACM Symposium on Applied Computing |
| Pages | 2392-2396 |
| Conference Date | MAR 16-20, |
| Conference Place | Fortaleza, BRAZIL |
| Publish Place | 1515 BROADWAY, NEW YORK, NY 10036-9998 USA |
| Publisher | PROCEEDINGS OF THE 23RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING |
| ISBN | 9781595937537 |
| Department | Shi, Yuxiang; Yan, Jun Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. |
| English Abstract | This paper proposes a novel approach to the verification for composition of Web services annotated by ontology-based input, output, precondition and effect. In this approach, implicit inconsistency and explicit inconsistency may be detected on |
| Keyword | Web Service Semantic Composition Verification |
| Sponsorship | ACM SIGAC, Univ Fortaleza, Federal Univ Ceara |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10696 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Shi Yuxiang,Yan Jun,Li Zhongjie,et al. path-based verification for composition of semantic web services[C]. 1515 BROADWAY, NEW YORK, NY 10036-9998 USA:PROCEEDINGS OF THE 23RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING,2008:2392-2396. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| p2392-shi.pdf（390KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment