Research on Verification Method of Online Medical Service Composition
HU Shan-shan · Medical Informatics · 2012
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.