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,.
|
|
|