modeling and verifying web services driven by requirements: an     ontology-based approach

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	modeling and verifying web services driven by requirements: an ontology-based approach
	Hou Lishan ; Jin Zhi ; Wu Budan
刊名	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
	2006
卷号	49 期号:6 页码:792-820
关键词	经尿道电切术,女性膀胱颈梗阻web service environment ontology automatic composition pi calculus formal verification
ISSN号	1009-2757
中文摘要	目的总结经尿道电切膀胱颈后唇治疗女性膀胱颈梗阻的经验。方法联合使用环形及钩形电切袢经尿道电切治疗10例女性膀胱颈梗阻。结果10例均一次电切成功,拔除尿管后排尿通畅,无尿失禁发生,尿频明显改善。1个月后复查除1例残余尿25ml外,其余均无残余尿。结论电切膀胱颈后唇是治疗女性膀胱颈梗阻的一种全面而有效的治疗方法。
学科主题	Computer Science, Information Systems
收录类别	SCI ; CNKI
语种	英语
公开日期	2011-07-13
附注	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
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/11562]
专题	软件研究所_软件所图书馆_期刊论文
推荐引用方式 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.