path-based verification for composition of semantic web services

	path-based verification for composition of semantic web services
	Shi Yuxiang; Yan Jun; Li Zhongjie; Zhu Jun
	2008
会议名称	23rd Annual ACM Symposium on Applied Computing
会议录名称	Proceedings of the ACM Symposium on Applied Computing
页码	2392-2396
会议日期	MAR 16-20,
会议地点	Fortaleza, BRAZIL
出版地	1515 BROADWAY, NEW YORK, NY 10036-9998 USA
出版者	PROCEEDINGS OF THE 23RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
ISBN	9781595937537
部门归属	Shi, Yuxiang; Yan, Jun Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
摘要	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
关键词	Web Service Semantic Composition Verification
主办者	ACM SIGAC, Univ Fortaleza, Federal Univ Ceara
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10696
专题	基础软件与系统重点实验室
推荐引用方式 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.