摘要
介绍在线医疗服务组合设计方法,描述在线医疗助理的属性序列图,提出一种基于模型检验的在线医疗服务组合验证方法并进行实验评估,从理论和实验两方面分析该方法的可行性和有效性。
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.
出处
《医学信息学杂志》
CAS
2012年第7期15-19,32,共6页
Journal of Medical Informatics
基金
济宁医学院青年科研基金资助项目"Web医学应用中的建模研究"
关键词
在线医疗助理
远程医疗
WEB服务组合
模型检验
属性序列图
Online medical assistant
Telemedicine
Web service composition
Model checking
Property sequence chart
