| 题名: | path-based verification for composition of semantic web services |
| 作者: | Shi Yuxiang
; Yan Jun
; Li Zhongjie
; Zhu Jun
|
| 会议文集: | Proceedings of the ACM Symposium on Applied Computing
|
| 会议名称: | 23rd Annual ACM Symposium on Applied Computing
|
| 会议日期: | MAR 16-20,
|
| 出版日期: | 2008
|
| 会议地点: | Fortaleza, BRAZIL
|
| 关键词: | Web service
; Semantic
; Composition
; Verification
|
| 出版者: | PROCEEDINGS OF THE 23RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
|
| 出版地: | 1515 BROADWAY, NEW YORK, NY 10036-9998 USA
|
| ISBN: | 9781595937537
|
| 部门归属: | Shi, Yuxiang; Yan, Jun Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
|
| 主办者: | ACM SIGAC, Univ Fortaleza, Federal Univ Ceara
|
| 英文摘要: | 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 |
| 内容类型: | 会议论文
|
| 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,.
|
|
|
