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

ISCAS OpenIR

	modeling and verifying web services driven by requirements: an ontology-based approach
	Hou Lishan; Jin Zhi; Wu Budan
	2006
发表期刊	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
ISSN	1009-2757
卷号	49 期号:6 页码:792-820
收录类别	sci ; cnki
其他摘要	目的总结经尿道电切膀胱颈后唇治疗女性膀胱颈梗阻的经验。方法联合使用环形及钩形电切袢经尿道电切治疗10例女性膀胱颈梗阻。结果10例均一次电切成功,拔除尿管后排尿通畅,无尿失禁发生,尿频明显改善。1个月后复查除1例残余尿25ml外,其余均无残余尿。结论电切膀胱颈后唇是治疗女性膀胱颈梗阻的一种全面而有效的治疗方法。
关键词	经尿道电切术,女性膀胱颈梗阻web Service Environment Ontology Automatic Composition Pi Calculus Formal Verification
部门归属	Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China. Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. Grad Univ, Chinese Acad Sci, Beiji
学科领域	Computer Science, Information Systems
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11560
专题	中国科学院软件研究所
推荐引用方式 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.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
Modeling+and+verifyi（1184KB）			开放获取	--	请求全文