發(fā)布時(shí)間：2020-03-19 09:14

【摘要】：軟件工程一直面臨的巨大挑戰(zhàn)是如何提高軟件開發(fā)的效率和軟件的質(zhì)量。模型驅(qū)動(dòng)軟件開發(fā)(Model Driven Development,MDD),是改變軟件生產(chǎn)效率低、質(zhì)量差、維護(hù)難等問題的最有效方法,是軟件開發(fā)技術(shù)的革命性變革。當(dāng)前實(shí)現(xiàn)MDD的途徑主要分為兩種:基于UML的MDD和基于形式化方法的MDD。盡管基于UML的MDD已經(jīng)得到廣泛使用,但卻存在語法和語義不夠嚴(yán)格等問題,難以保證軟件的質(zhì)量,因此備受學(xué)術(shù)界的批評(píng)。便捷模型驅(qū)動(dòng)軟件開發(fā)方法,是本文指導(dǎo)教師薛錦云教授提出的一種基于形式化的MDD開發(fā)方法,該方法具有嚴(yán)格的數(shù)學(xué)理論基礎(chǔ),同時(shí)提出了諸多創(chuàng)新性概念與技術(shù),使得建模語言、模型表示、模型變換和模型的正確性驗(yàn)證,均建立在嚴(yán)謹(jǐn)?shù)睦碚摶A(chǔ)上。應(yīng)用該方法開發(fā)的軟件具有可靠性高和可維護(hù)性好等優(yōu)點(diǎn),并已經(jīng)應(yīng)用在航空軍用等領(lǐng)域的安全性攸關(guān)(Safety-Critical)軟件中。盡管如此,理解掌握該軟件開發(fā)方法的人仍較少,其主要原因是該方法理論知識(shí)較復(fù)雜,缺少相應(yīng)的輔助教學(xué)系統(tǒng),學(xué)生自學(xué)難度大,限制了該方法的推廣。因此,急需研制針對(duì)該方法學(xué)習(xí)特點(diǎn)的在線教學(xué)系統(tǒng)。本文對(duì)便捷模型驅(qū)動(dòng)軟件開發(fā)方法進(jìn)行了深入的研究,針對(duì)該方法的學(xué)習(xí)特點(diǎn),設(shè)計(jì)實(shí)現(xiàn)了相應(yīng)的在線教學(xué)系統(tǒng)。該系統(tǒng)的功能包括跨媒體課程教學(xué)、在線建模、在線程序編譯運(yùn)行等,這些功能能夠幫助學(xué)生在學(xué)習(xí)的過程中理論與實(shí)踐相結(jié)合,循序漸進(jìn)地理解掌握便捷模型驅(qū)動(dòng)軟件開發(fā)方法。本文的主要?jiǎng)?chuàng)新包括以下幾個(gè)方面:1、本教學(xué)系統(tǒng)在課程制作上充分應(yīng)用了新型泛型思想,將文字、圖片、音頻、視頻等各種形式的課程內(nèi)容高度抽象成為統(tǒng)一的對(duì)象,使得將各種課程內(nèi)容的添加轉(zhuǎn)換成統(tǒng)一的對(duì)象的添加,極大地簡(jiǎn)化了課程的制作過程,有利于快速制作課程。2、本教學(xué)系統(tǒng)不僅使用了跨媒體服務(wù)組合技術(shù),使得課程內(nèi)容的表現(xiàn)形式更加豐富,有利于將課程內(nèi)容講解得生動(dòng)活潑,更是提供了在線建立模型、模型轉(zhuǎn)換、程序運(yùn)行等功能,使得用戶在線學(xué)習(xí)理論課程的同時(shí)還可以直接進(jìn)行動(dòng)手實(shí)踐,十分有利于提高用戶的學(xué)習(xí)效率。這些功能在MOOC等在線教學(xué)系統(tǒng)中都不支持。
【圖文】：

語法 σ{條件 C}(表名/集合 A) 從 A {屬性集 S}(表名/集合 A) A X B 返A(chǔ) ∞ B 返A(chǔ) ∪ B A － B A ÷ B 便捷模型驅(qū)動(dòng)軟件開發(fā)流程的介紹，我們對(duì)便捷模型驅(qū)動(dòng)軟件開，便捷模型驅(qū)動(dòng)的軟件開發(fā)流程，即是，每一個(gè)變換的過程都可以用前面介紹模流程如圖 2-1：非量詞問題

圖 3-1 便捷模型驅(qū)動(dòng)開發(fā)方法教學(xué)系統(tǒng)架構(gòu)圖第一層為用戶表現(xiàn)層，該層為教學(xué)系統(tǒng)的頁面展示，用戶通過瀏覽器即可訪問到教學(xué)系統(tǒng)的用戶界面。當(dāng)用戶在頁面點(diǎn)擊相應(yīng)功能進(jìn)行操作時(shí)，前端界面的操作請(qǐng)求，會(huì)與位于第二層的業(yè)務(wù)處理層進(jìn)行交互。頁面將用戶的操作請(qǐng)求發(fā)送給處理模塊，處理模塊完成處理后將結(jié)果返回給頁面。此外，根據(jù)處理模塊需要實(shí)現(xiàn)的功能不同，還需要與位于第三層的服務(wù)支撐層進(jìn)行交互，服務(wù)支撐層包括流媒體服務(wù)器、MySQL 數(shù)據(jù)庫、模型轉(zhuǎn)換服務(wù)等。對(duì)于需要與數(shù)據(jù)庫交互（如數(shù)據(jù)的查詢、存儲(chǔ)）的模塊，需要訪問本系統(tǒng)選擇的物理數(shù)據(jù)庫——MySQL 數(shù)據(jù)庫。對(duì)于模型轉(zhuǎn)換處理模塊，將訪問部署在服務(wù)器上的模型轉(zhuǎn)換服務(wù)。對(duì)于課程學(xué)習(xí)模塊需要請(qǐng)求流媒體服務(wù)器，實(shí)現(xiàn)流媒體視頻的播放。程序編譯運(yùn)行模塊的處理則需要調(diào)用對(duì)應(yīng)語言的編譯器。3.3.2 系統(tǒng)的功能結(jié)構(gòu)通過對(duì)便捷模型驅(qū)動(dòng)軟件開發(fā)方法在線教學(xué)系統(tǒng)的需求分析，本系統(tǒng)的可分
【學(xué)位授予單位】：江西師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2018
【分類號(hào)】：G434;TP311.52

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 周敏;尹文亭;黃誠;周海峰;;基于模型驅(qū)動(dòng)教學(xué)法的建筑識(shí)圖與構(gòu)造課程改革與研究[J];現(xiàn)代物業(yè)(中旬刊);2018年07期

2 張小華,韓永生,余軍合;模型驅(qū)動(dòng)體系綜述[J];計(jì)算機(jī)工程;2004年02期

3 李明華;;構(gòu)建模型驅(qū)動(dòng)的黨建精細(xì)化流程管理體系[J];紫光閣;2018年11期

4 李穎新;姜浩;;云制造環(huán)境下設(shè)計(jì)理性模型驅(qū)動(dòng)的協(xié)同設(shè)計(jì)[J];制造業(yè)自動(dòng)化;2014年05期

5 宋麗芳;宋旭東;鄭燕;;面向模型驅(qū)動(dòng)的數(shù)據(jù)倉庫開發(fā)方法研究[J];大連交通大學(xué)學(xué)報(bào);2010年04期

6 徐珞;吳際;劉超;;一種模型驅(qū)動(dòng)的協(xié)議測(cè)試故障注入引擎設(shè)計(jì)[J];計(jì)算機(jī)工程與應(yīng)用;2007年16期

7 陳燕;邱衛(wèi)東;杜玄;彭澄廉;;嵌入式系統(tǒng)模型驅(qū)動(dòng)設(shè)計(jì)方法[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2006年02期

8 燕鋒,歐陽松,朱彬;模型驅(qū)動(dòng)構(gòu)架中模型信息交換研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年11期

9 吳安怡;吳際;陳金剛;劉超;;模型驅(qū)動(dòng)的分布式測(cè)試執(zhí)行自動(dòng)化研究與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2007年10期

10 王毅;吳曉蕊;封慧英;劉萍;;基于模型驅(qū)動(dòng)的海量數(shù)據(jù)判讀系統(tǒng)研究與實(shí)踐[J];計(jì)算機(jī)測(cè)量與控制;2018年12期

相關(guān)會(huì)議論文 前10條

1 譚文安;盧忠亞;楊峗;楊付軍;;基于模型驅(qū)動(dòng)的企業(yè)過程協(xié)同運(yùn)作技術(shù)及其環(huán)境[A];第四屆中國軟件工程大會(huì)論文集[C];2007年

2 王學(xué)斌;陳翔;吳泉源;;基于模型驅(qū)動(dòng)結(jié)構(gòu)的電子商務(wù)開發(fā)平臺(tái)設(shè)計(jì)與實(shí)現(xiàn)[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2004年

3 季一木;王汝傳;;網(wǎng)格計(jì)算平臺(tái)Gbuilder中模型驅(qū)動(dòng)軟件方法的研究[A];2005年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

4 何擁軍;肖瑾;陳攀;楊斌;;基于領(lǐng)域模型驅(qū)動(dòng).NET平臺(tái)架構(gòu)的構(gòu)建[A];軟件定義 面向未來——2014電力行業(yè)信息化年會(huì)論文集[C];2014年

5 尹紅生;潘小強(qiáng);;可執(zhí)行建模方法初探[A];決策科學(xué)與評(píng)價(jià)——中國系統(tǒng)工程學(xué)會(huì)決策科學(xué)專業(yè)委員會(huì)第八屆學(xué)術(shù)年會(huì)論文集[C];2009年

6 諶菲;曹萬華;黃志剛;;艦載作戰(zhàn)指揮系統(tǒng)模型驅(qū)動(dòng)軟件開發(fā)技術(shù)研究[A];中國造船工程學(xué)會(huì)電子技術(shù)學(xué)術(shù)委員會(huì)2006學(xué)術(shù)年會(huì)論文集（上冊(cè)）[C];2006年

7 宗建建;王峰;施寅生;;UML測(cè)試剖面技術(shù)研究與進(jìn)展[A];第十四屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議(CFTC'2011)論文集[C];2011年

8 楊克巍;劉燦;熊健;姜江;譚躍進(jìn);;模型驅(qū)動(dòng)的體系級(jí)任務(wù)結(jié)構(gòu)矩陣設(shè)計(jì)及優(yōu)化方法[A];中國系統(tǒng)工程學(xué)會(huì)第十八屆學(xué)術(shù)年會(huì)論文集——A05系統(tǒng)工程理論應(yīng)用與創(chuàng)新[C];2014年

9 張媛媛;高琴;;模型驅(qū)動(dòng)體系綜述[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國科協(xié)年會(huì)論文集（一）[C];2007年

10 喻蓉;趙忠文;;基于MDE的異構(gòu)模型的轉(zhuǎn)換研究:AADL到Fiacre[A];第八屆全國信號(hào)和智能信息處理與應(yīng)用學(xué)術(shù)會(huì)議會(huì)刊[C];2014年

相關(guān)重要報(bào)紙文章 前10條

1 王曉偉;模型驅(qū)動(dòng)提升企業(yè)實(shí)力[N];中國信息化周報(bào);2014年

2 ;靈活訪問模型驅(qū)動(dòng)的服務(wù)[N];網(wǎng)絡(luò)世界;2007年

3 Wayne Meikle 李雪;模型驅(qū)動(dòng)降低金融信息服務(wù)風(fēng)險(xiǎn)[N];中國計(jì)算機(jī)報(bào);2008年

4 易水;模型驅(qū)動(dòng)的體系結(jié)構(gòu)(2)[N];計(jì)算機(jī)世界;2006年

5 劉欣 仵鵬博;自控所和邁斯沃克共建安全關(guān)鍵模型驅(qū)動(dòng)軟件開發(fā)聯(lián)合實(shí)驗(yàn)室[N];中國航空?qǐng)?bào);2019年

6 易水;模型驅(qū)動(dòng)的體系結(jié)構(gòu)(1)[N];計(jì)算機(jī)世界;2006年

7 中航工業(yè)光電所 朱彬;基于模型驅(qū)動(dòng)的復(fù)雜系統(tǒng)數(shù)字化設(shè)計(jì)流程再造[N];中國航空?qǐng)?bào);2013年

8 中航工業(yè)成都飛機(jī)設(shè)計(jì)研究所副所長(zhǎng) 蒲小勃;基于模型驅(qū)動(dòng)的航電系統(tǒng)設(shè)計(jì)方法[N];中國航空?qǐng)?bào);2012年

9 中航工業(yè)綜合技術(shù)研究所 任占勇;模型驅(qū)動(dòng)的可靠性設(shè)計(jì)與分析技術(shù)展望[N];中國航空?qǐng)?bào);2015年

10 劉濤;Accenture投資4.5億美元發(fā)展SOA[N];電腦商報(bào);2006年

相關(guān)博士學(xué)位論文 前10條

1 張華楓;Petri網(wǎng)模型驅(qū)動(dòng)的嵌入式軟件設(shè)計(jì)研究[D];清華大學(xué);2017年

2 陳文智;Pcanel——基于模型驅(qū)動(dòng)的嵌入式系統(tǒng)設(shè)計(jì)平臺(tái)[D];浙江大學(xué);2005年

3 楊國青;基于模型驅(qū)動(dòng)的汽車電子軟件開發(fā)方法研究[D];浙江大學(xué);2006年

4 喬秀全;模型驅(qū)動(dòng)的業(yè)務(wù)生成方法及業(yè)務(wù)智能化支撐技術(shù)研究[D];北京郵電大學(xué);2007年

5 何可;威脅模型驅(qū)動(dòng)的軟件安全評(píng)估與測(cè)試方法的研究[D];天津大學(xué);2010年

6 張俊;特征模型驅(qū)動(dòng)的軟件開發(fā)方法及相關(guān)技術(shù)研究[D];吉林大學(xué);2010年

7 車穎;計(jì)算無關(guān)模型驅(qū)動(dòng)的ERP系統(tǒng)重構(gòu)關(guān)鍵技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2011年

8 朱東來;多模型驅(qū)動(dòng)的面向服務(wù)系統(tǒng)開發(fā)方法與技術(shù)研究[D];復(fù)旦大學(xué);2009年

9 周紅橋;基于模型驅(qū)動(dòng)的制造企業(yè)應(yīng)用集成方法研究[D];華中科技大學(xué);2010年

10 孟凡超;模型驅(qū)動(dòng)的構(gòu)件化企業(yè)應(yīng)用軟件開發(fā)方法[D];哈爾濱工業(yè)大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

1 曹備;模型驅(qū)動(dòng)的“系統(tǒng)的系統(tǒng)”建模與仿真研究[D];上海交通大學(xué);2017年

2 管春琳;基于模型驅(qū)動(dòng)的CPS動(dòng)態(tài)行為建模、仿真、驗(yàn)證方法研究[D];華東師范大學(xué);2019年

3 劉震偉;便捷模型驅(qū)動(dòng)軟件開發(fā)方法在線教學(xué)系統(tǒng)的研究與實(shí)現(xiàn)[D];江西師范大學(xué);2018年

4 孫瀚;模型驅(qū)動(dòng)的自主重建研究[D];中國科學(xué)技術(shù)大學(xué);2018年

5 張?jiān)?電動(dòng)舵機(jī)系統(tǒng)模型驅(qū)動(dòng)工程設(shè)計(jì)研究及驗(yàn)證[D];南京航空航天大學(xué);2018年

6 張笑;故事建模語言及建模工具研究[D];武漢理工大學(xué);2016年

7 劉撥杰;基于模型驅(qū)動(dòng)的MapReduce大數(shù)據(jù)變換軟件開發(fā)方法研究[D];南京大學(xué);2018年

8 黃亮;智能化模型驅(qū)動(dòng)過程與抽象技術(shù)[D];海南大學(xué);2018年

9 趙勇;基于模型驅(qū)動(dòng)的嵌入式實(shí)時(shí)系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];中國科學(xué)技術(shù)大學(xué);2017年

10 江浩;基于MDA和.NET環(huán)境的快速開發(fā)平臺(tái)研究與應(yīng)用[D];南京大學(xué);2017年

，

本文編號(hào)：2590032