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.%介绍在线医疗服务组合设计方法,描述在线医疗助理的属性序列图,提出一种基于模型检验的在线医疗服务组合验证方法并进行实验评估,从理论和实验两方面分析该方法的可行性和有效性。
展开▼