论文部分内容阅读
研究背景随着互联网信息技术在医疗行业的不断渗透与应用,传统医疗模式逐步向新型医疗模式转变,互联网医疗系统的建模与开发迫在眉睫。MDA作为一种新型软件开发方法,其核心内容是模型及模型转换。实现MDA模型的构建、形式化描述以及转换将对MDA的发展起到一定的推动作用。研究目的以互联网医疗系统为研究背景,探索MDA模型的表示与自动化转换机制。在可视化建模基础上,形式化描述模型,基于元模型探索模型的转换机制及其实现与验证。研究方法首先,提出一种“互联网+”O2O医疗模式框架,该框架为设计与实现互联网医疗系统(IMS)奠定基础。其次,基于UML分别对MDA模型进行可视化建模。再者,构建CIM及PIM相应的元模型,并基于范畴论构造相应的CIM元模型的形式化系统以及PIM元模型的形式化系统。最后,基于EMF建模框架设计模型转换实验,以实现源模型到目标模型的自动转换,并通过IMS案例对模型建模、形式化描述及转换分别进行验证。研究结果针对基于范畴论的MDA模型形式化分析与应用研究,首先,实现了模型的可视化建模,即以用例图对CIM建模,以鲁棒图和鲁棒分析模式(PPTS)对PIM建模。其次,实现了CIM及PIM元模型的形式化描述,即以用例、Actor以及用例间的关系作为具体的形式化描述对象,实现对CIM元模型的形式化描述;并以界面对象、控制对象、实体对象及其间的关系作为具体的形式化描述对象,实现了PIM元模型的形式化描述。最后,通过IMS案例对本文提出的模型建模及形式化方法进行了验证。针对基于EMF的IMS模型转换研究,搭建了Eclipse模型转换平台,并基于EMF建模框架及相关插件设计了两组实验,包括实验一:IMS的CIM元模型(UCM)到代码的转换;实验二:IMS的PIM元模型(ROM)到代码的转换。分别以CIM的元模型以及PIM的元模型作为输入模型,基于EMF实现了CIM、PIM元模型的定义与编辑,并通过创建相应的EMF Generator Model分别实现了UCM、ROM到代码的自动转换。