Institutional Repository
| modeling and verifying web services driven by requirements: an ontology-based approach | |
| Hou Lishan; Jin Zhi; Wu Budan | |
| 2006 | |
| Source | SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
 |
| ISSN | 1009-2757 |
| Volume | 49Issue:6Pages:792-820 |
| Indexed Type | sci ; cnki |
| Abstract | 目的总结经尿道电切膀胱颈后唇治疗女性膀胱颈梗阻的经验。方法联合使用环形及钩形电切袢经尿道电切治疗10例女性膀胱颈梗阻。结果10例均一次电切成功,拔除尿管后排尿通畅,无尿失禁发生,尿频明显改善。1个月后复查除1例残余尿25ml外,其余均无残余尿。结论电切膀胱颈后唇是治疗女性膀胱颈梗阻的一种全面而有效的治疗方法。 |
| Keyword | 经尿道电切术,女性膀胱颈梗阻web Service Environment Ontology Automatic Composition Pi Calculus Formal Verification |
| Department | 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 |
| Subject | Computer Science, Information Systems |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11560 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| Modeling+and+verifyi（1184KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment