研究背景隨著互聯(lián)網(wǎng)信息技術(shù)在醫(yī)療行業(yè)的不斷滲透與應(yīng)用,傳統(tǒng)醫(yī)療模式逐步向新型醫(yī)療模式轉(zhuǎn)變,互聯(lián)網(wǎng)醫(yī)療系統(tǒng)的建模與開發(fā)迫在眉睫。MDA作為一種新型軟件開發(fā)方法,其核心內(nèi)容是模型及模型轉(zhuǎn)換。實(shí)現(xiàn)MDA模型的構(gòu)建、形式化描述以及轉(zhuǎn)換將對(duì)MDA的發(fā)展起到一定的推動(dòng)作用。研究目的以互聯(lián)網(wǎng)醫(yī)療系統(tǒng)為研究背景,探索MDA模型的表示與自動(dòng)化轉(zhuǎn)換機(jī)制。在可視化建�；A(chǔ)上,形式化描述模型,基于元模型探索模型的轉(zhuǎn)換機(jī)制及其實(shí)現(xiàn)與驗(yàn)證。研究方法首先,提出一種“互聯(lián)網(wǎng)+”O(jiān)2O醫(yī)療模式框架,該框架為設(shè)計(jì)與實(shí)現(xiàn)互聯(lián)網(wǎng)醫(yī)療系統(tǒng)（IMS）奠定基礎(chǔ)。其次,基于UML分別對(duì)MDA模型進(jìn)行可視化建模。再者,構(gòu)建CIM及PIM相應(yīng)的元模型,并基于范疇論構(gòu)造相應(yīng)的CIM元模型的形式化系統(tǒng)以及PIM元模型的形式化系統(tǒng)。最后,基于EMF建模框架設(shè)計(jì)模型轉(zhuǎn)換實(shí)驗(yàn),以實(shí)現(xiàn)源模型到目標(biāo)模型的自動(dòng)轉(zhuǎn)換,并通過IMS案例對(duì)模型建模、形式化描述及轉(zhuǎn)換分別進(jìn)行驗(yàn)證。研究結(jié)果針對(duì)基于范疇論的MDA模型形式化分析與應(yīng)用研究,首先,實(shí)現(xiàn)了模型的可視化建模,即以用例圖對(duì)CIM建模,以魯棒圖和魯棒分析模式（PPTS）對(duì)PIM建模。其次,實(shí)現(xiàn)了CIM及PI... 

【文章來源】：寧夏醫(yī)科大學(xué)寧夏回族自治區(qū)

【文章頁數(shù)】：75 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
縮寫詞及其說明
第一章 緒論
    1.1 研究背景和意義
    1.2 國內(nèi)外研究現(xiàn)狀
        1.2.1 互聯(lián)網(wǎng)醫(yī)療系統(tǒng)研究現(xiàn)狀
        1.2.2 MDA模型建模研究現(xiàn)狀
        1.2.3 模型形式化方法研究現(xiàn)狀
        1.2.4 MDA模型轉(zhuǎn)換方法研究現(xiàn)狀
    1.3 論文的主要工作
    1.4 論文的章節(jié)安排
第二章 相關(guān)理論及技術(shù)
    2.1 MDA相關(guān)理論及技術(shù)
        2.1.1 MDA軟件范型及其模型
        2.1.2 MDA核心標(biāo)準(zhǔn)規(guī)范
        2.1.3 MDA模型轉(zhuǎn)換
        2.1.4 MDA軟件開發(fā)生命周期
    2.2 元模型
    2.3 范疇論
    2.4 本章小結(jié)
第三章 基于“互聯(lián)網(wǎng)+”的O2O醫(yī)療模式框架研究
    3.1 互聯(lián)網(wǎng)醫(yī)療
        3.1.1 互聯(lián)網(wǎng)醫(yī)療的應(yīng)用現(xiàn)狀
        3.1.2 存在的主要問題
    3.2 基于“互聯(lián)網(wǎng)+”的O2O醫(yī)療模式框架
        3.2.1 “互聯(lián)網(wǎng)+”原理
        3.2.2 框架設(shè)計(jì)
    3.3 本章小結(jié)
第四章 基于范疇論的MDA模型形式化分析與應(yīng)用研究
    4.1 模型及元模型的構(gòu)建
        4.1.1 CIM模型及其元模型
        4.1.2 PIM模型及其元模型
    4.2 基于范疇論的元模型形式化
        4.2.1 CIM元模型形式化
        4.2.2 PIM元模型形式化
    4.3 互聯(lián)網(wǎng)醫(yī)療系統(tǒng)(IMS)建模及形式化描述
        4.3.1 IMS—功能需求
        4.3.2 IMS—CIM建模及形式化
        4.3.3 IMS—PIM建模及形式化
    4.4 本章小結(jié)
第五章 基于EMF的IMS模型轉(zhuǎn)換研究
    5.1 IMS模型轉(zhuǎn)換平臺(tái)的搭建
        5.1.1 Eclipse與MDA
        5.1.2 EMF
    5.2 IMS模型轉(zhuǎn)換機(jī)制
    5.3 IMS模型轉(zhuǎn)換的實(shí)現(xiàn)
        5.3.1 實(shí)驗(yàn)一：UCM到代碼的轉(zhuǎn)換
        5.3.2 實(shí)驗(yàn)二：ROM到代碼的轉(zhuǎn)換
    5.4 本章小結(jié)
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
附件
文獻(xiàn)綜述
    綜述參考文獻(xiàn)
致謝
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄
個(gè)人簡介
開題、中期及學(xué)位論文答辯委員組成



本文編號(hào)：3429438