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

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

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

【相似文獻】

相關期刊論文 前10條

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

2 張小華,韓永生,余軍合;模型驅動體系綜述[J];計算機工程;2004年02期

3 李明華;;構建模型驅動的黨建精細化流程管理體系[J];紫光閣;2018年11期

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

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

6 徐珞;吳際;劉超;;一種模型驅動的協(xié)議測試故障注入引擎設計[J];計算機工程與應用;2007年16期

7 陳燕;邱衛(wèi)東;杜玄;彭澄廉;;嵌入式系統(tǒng)模型驅動設計方法[J];計算機輔助設計與圖形學學報;2006年02期

8 燕鋒,歐陽松,朱彬;模型驅動構架中模型信息交換研究[J];計算機工程與設計;2005年11期

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

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

相關會議論文 前10條

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

2 王學斌;陳翔;吳泉源;;基于模型驅動結構的電子商務開發(fā)平臺設計與實現(xiàn)[A];第二十一屆中國數(shù)據(jù)庫學術會議論文集（技術報告篇）[C];2004年

3 季一木;王汝傳;;網(wǎng)格計算平臺Gbuilder中模型驅動軟件方法的研究[A];2005年全國理論計算機科學學術年會論文集[C];2005年

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

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

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

7 宗建建;王峰;施寅生;;UML測試剖面技術研究與進展[A];第十四屆全國容錯計算學術會議(CFTC'2011)論文集[C];2011年

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

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

10 喻蓉;趙忠文;;基于MDE的異構模型的轉換研究:AADL到Fiacre[A];第八屆全國信號和智能信息處理與應用學術會議會刊[C];2014年

相關重要報紙文章 前10條

1 王曉偉;模型驅動提升企業(yè)實力[N];中國信息化周報;2014年

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

3 Wayne Meikle 李雪;模型驅動降低金融信息服務風險[N];中國計算機報;2008年

4 易水;模型驅動的體系結構(2)[N];計算機世界;2006年

5 劉欣 仵鵬博;自控所和邁斯沃克共建安全關鍵模型驅動軟件開發(fā)聯(lián)合實驗室[N];中國航空報;2019年

6 易水;模型驅動的體系結構(1)[N];計算機世界;2006年

7 中航工業(yè)光電所 朱彬;基于模型驅動的復雜系統(tǒng)數(shù)字化設計流程再造[N];中國航空報;2013年

8 中航工業(yè)成都飛機設計研究所副所長 蒲小勃;基于模型驅動的航電系統(tǒng)設計方法[N];中國航空報;2012年

9 中航工業(yè)綜合技術研究所 任占勇;模型驅動的可靠性設計與分析技術展望[N];中國航空報;2015年

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

相關博士學位論文 前10條

1 張華楓;Petri網(wǎng)模型驅動的嵌入式軟件設計研究[D];清華大學;2017年

2 陳文智;Pcanel——基于模型驅動的嵌入式系統(tǒng)設計平臺[D];浙江大學;2005年

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

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

5 何可;威脅模型驅動的軟件安全評估與測試方法的研究[D];天津大學;2010年

6 張俊;特征模型驅動的軟件開發(fā)方法及相關技術研究[D];吉林大學;2010年

7 車穎;計算無關模型驅動的ERP系統(tǒng)重構關鍵技術研究[D];哈爾濱工業(yè)大學;2011年

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

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

10 孟凡超;模型驅動的構件化企業(yè)應用軟件開發(fā)方法[D];哈爾濱工業(yè)大學;2008年

相關碩士學位論文 前10條

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

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

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

4 孫瀚;模型驅動的自主重建研究[D];中國科學技術大學;2018年

5 張越;電動舵機系統(tǒng)模型驅動工程設計研究及驗證[D];南京航空航天大學;2018年

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

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

8 黃亮;智能化模型驅動過程與抽象技術[D];海南大學;2018年

9 趙勇;基于模型驅動的嵌入式實時系統(tǒng)設計與實現(xiàn)[D];中國科學技術大學;2017年

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

，

本文編號：2590032