在线医疗服务组合的验证方法研究 |
投稿时间:2012-03-21 点此下载全文 |
引用本文:滕剑锋,胡珊珊.在线医疗服务组合的验证方法研究[J].医学信息学杂志,2012,33(7):15-19 |
摘要点击次数: |
全文下载次数: |
|
基金项目:济宁医学院青年科研基金资助项目“Web医学应用中的建模研究” |
|
中文摘要:介绍在线医疗服务组合设计方法,描述在线医疗助理的属性序列图,提出一种基于模型检验的在线医疗服务组合验证方法并进行实验评估,从理论和实验两方面分析该方法的可行性和有效性。 |
中文关键词:〕在线医疗助理 远程医疗 Web服务组合 模型检验 属性序列图 |
|
Research on Verification Method of Online Medical Service Composition |
|
|
Abstract:The paper introduces the design method of online medical service composition, demonstrates the property sequence chart of online medical assistant, proposes an online medical service composition verification method based on model verification and carries out experimental evaluation. Experiment shows the feasibility and applicability of the proposed approach from both theoretical and experimental aspects. |
keywords:Online medical assistant Telemedicine Web service composition Model checking Property sequence chart |
查看全文 查看/发表评论 下载PDF阅读器 |