Modeling and verifying Web services driven by requirements: An ontology-based approach

doi:10.1007/s11432-006-2031-5

	Modeling and verifying Web services driven by requirements: An ontology-based approach
	Hou Lishan ; Jin Zhi ; Wu Budan
	2006-12-01
发表期刊	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
ISSN	1009-2757
卷号	49 期号:6 页码:792-820
摘要	Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects: the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with pi calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.
关键词	web service environment ontology automatic composition pi calculus formal verification
DOI	10.1007/s11432-006-2031-5
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems
WOS记录号	WOS:000244103600006
出版者	SCIENCE CHINA PRESS
引用统计	被引频次：13[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10385
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Hou Lishan
作者单位	1.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China 2.Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China 3.Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 4.Grad Univ, Chinese Acad Sci, Beijing 100049, Peoples R China
推荐引用方式 GB/T 7714	Hou Lishan,Jin Zhi,Wu Budan. Modeling and verifying Web services driven by requirements: An ontology-based approach[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2006,49(6):792-820.
APA	Hou Lishan,Jin Zhi,&Wu Budan.(2006).Modeling and verifying Web services driven by requirements: An ontology-based approach.SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,49(6),792-820.
MLA	Hou Lishan,et al."Modeling and verifying Web services driven by requirements: An ontology-based approach".SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 49.6(2006):792-820.