摘要

针对两信息系统间的互操作问题,提出了一种基于多色集合理论的系统互操作形式化研究的方法,给出了基于多色集合理论的两系统间的互操作研究步骤.首先,介绍多色集合理论并对其围道进行分割以体现研究对象的静态属性和动态性质,并给出单元素多色集合的概念及其聚合运算;其次,根据多色集合理论及其扩展,给出了两信息系统间的互操作研究步骤:分别对互操作的两系统进行单元素多色集合描述,然后再通过两系统的单元素多色集合的并运算来体现整体.最后,通过医疗领域的医疗信息系统HIS与检验信息系统LIS间的互操作为实例验证该形式化方法的有效性.

全文