MDA软件范型中模型的形式化与转换研究

发布时间：2021-10-11 00:27

　　研究背景随着互联网信息技术在医疗行业的不断渗透与应用,传统医疗模式逐步向新型医疗模式转变,互联网医疗系统的建模与开发迫在眉睫。MDA作为一种新型软件开发方法,其核心内容是模型及模型转换。实现MDA模型的构建、形式化描述以及转换将对MDA的发展起到一定的推动作用。研究目的以互联网医疗系统为研究背景,探索MDA模型的表示与自动化转换机制。在可视化建模基础上,形式化描述模型,基于元模型探索模型的转换机制及其实现与验证。研究方法首先,提出一种“互联网+”O2O医疗模式框架,该框架为设计与实现互联网医疗系统（IMS）奠定基础。其次,基于UML分别对MDA模型进行可视化建模。再者,构建CIM及PIM相应的元模型,并基于范畴论构造相应的CIM元模型的形式化系统以及PIM元模型的形式化系统。最后,基于EMF建模框架设计模型转换实验,以实现源模型到目标模型的自动转换,并通过IMS案例对模型建模、形式化描述及转换分别进行验证。研究结果针对基于范畴论的MDA模型形式化分析与应用研究,首先,实现了模型的可视化建模,即以用例图对CIM建模,以鲁棒图和鲁棒分析模式（PPTS）对PIM建模。其次,实现了CIM及PI... 

【文章来源】：宁夏医科大学宁夏回族自治区

【文章页数】：75 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
缩写词及其说明
第一章 绪论
    1.1 研究背景和意义
    1.2 国内外研究现状
        1.2.1 互联网医疗系统研究现状
        1.2.2 MDA模型建模研究现状
        1.2.3 模型形式化方法研究现状
        1.2.4 MDA模型转换方法研究现状
    1.3 论文的主要工作
    1.4 论文的章节安排
第二章 相关理论及技术
    2.1 MDA相关理论及技术
        2.1.1 MDA软件范型及其模型
        2.1.2 MDA核心标准规范
        2.1.3 MDA模型转换
        2.1.4 MDA软件开发生命周期
    2.2 元模型
    2.3 范畴论
    2.4 本章小结
第三章 基于“互联网+”的O2O医疗模式框架研究
    3.1 互联网医疗
        3.1.1 互联网医疗的应用现状
        3.1.2 存在的主要问题
    3.2 基于“互联网+”的O2O医疗模式框架
        3.2.1 “互联网+”原理
        3.2.2 框架设计
    3.3 本章小结
第四章 基于范畴论的MDA模型形式化分析与应用研究
    4.1 模型及元模型的构建
        4.1.1 CIM模型及其元模型
        4.1.2 PIM模型及其元模型
    4.2 基于范畴论的元模型形式化
        4.2.1 CIM元模型形式化
        4.2.2 PIM元模型形式化
    4.3 互联网医疗系统(IMS)建模及形式化描述
        4.3.1 IMS—功能需求
        4.3.2 IMS—CIM建模及形式化
        4.3.3 IMS—PIM建模及形式化
    4.4 本章小结
第五章 基于EMF的IMS模型转换研究
    5.1 IMS模型转换平台的搭建
        5.1.1 Eclipse与MDA
        5.1.2 EMF
    5.2 IMS模型转换机制
    5.3 IMS模型转换的实现
        5.3.1 实验一：UCM到代码的转换
        5.3.2 实验二：ROM到代码的转换
    5.4 本章小结
第六章 总结与展望
    6.1 总结
    6.2 展望
参考文献
附件
文献综述
    综述参考文献
致谢
攻读学位期间发表的学术论文目录
个人简介
开题、中期及学位论文答辩委员组成



本文编号：3429438