| Title: | path-based verification for composition of semantic web services |
| Author: | Shi Yuxiang
; Yan Jun
; Li Zhongjie
; Zhu Jun
|
| Source: | Proceedings of the ACM Symposium on Applied Computing
|
| Conference Name: | 23rd Annual ACM Symposium on Applied Computing
|
| Conference Date: | MAR 16-20,
|
| Issued Date: | 2008
|
| Conference Place: | Fortaleza, BRAZIL
|
| Keyword: | Web service
; Semantic
; Composition
; Verification
|
| Publisher: | PROCEEDINGS OF THE 23RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
|
| Publish Place: | 1515 BROADWAY, NEW YORK, NY 10036-9998 USA
|
| ISBN: | 9781595937537
|
| Department: | Shi, Yuxiang; Yan, Jun Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
|
| Sponsorship: | ACM SIGAC, Univ Fortaleza, Federal Univ Ceara
|
| 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 |
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/10696
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| p2392-shi.pdf（390KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Shi Yuxiang,Yan Jun,Li Zhongjie,et al. path-based verification for composition of semantic web services[C]. 见:23rd Annual ACM Symposium on Applied Computing. Fortaleza, BRAZIL. MAR 16-20,.
|
|
|
