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/11558] |
专题 | 软件研究所_软件所图书馆_期刊论文 |
推荐引用方式 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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论