《一種具有通用描述能力和動態特性的元建模語言研究》是依託吉林大學，由劉淑芬擔任項目負責人的面上項目。
基本介紹
- 中文名：一種具有通用描述能力和動態特性的元建模語言研究
- 項目類別：面上項目
- 項目負責人：劉淑芬
- 依託單位：吉林大學
項目摘要,結題摘要,
項目摘要
本次擬展開的課題是對一種具有通用描述能力和動態特性的元建模語言的基礎理論研究，其主要研究內容包括元建模語言設計模式的研究、元建模語言語法語義的研究、元建模語言的可執行性理論的研究。通過這些研究，解決目前元建模語言語義不精確的問題，使得該元建模語言描述的模型具有確定的語義，並具有可執行能力，進而為解決領域相關建模語言的設計和領域間模型轉換打下良好的基礎，推動建模語言向實用的方向發展，改進軟體開發範式，提高軟體開發效率。此外，擬展開的課題又是課題組多年來研究工作的繼續和延伸。課題組多年一直從事軟體工程和模型驅動技術方面的研究，發表主要相關論文43篇，完成國家級和省級相關項目6項，申報相關專利3項，授權發明專利1項。為本次擬申請課題的研究打下了堅實的基礎。
結題摘要
本課題是對一種具有通用描述能力和動態特性的元建模語言的基礎理論進行研究，課題嚴格按照計畫執行，順利完成了各項研究工作，主要研究內容包括1、研究了語言基礎設施及它的基礎架構。元建模語言基礎設施能夠提供對元建模語言的各種操作及擴展方法，同時它又是平台無關的，建立由元核語言metaKernel，元約束語言metaOCL，文法語言JavaCC以及Java虛擬機元建模語言xKL的基礎設施架構。2、研究了元建模語言設計模式和抽象語法模型。建立了包含抽象語法、表面語法及語義的設計模式，元建模語言 xKL 的抽象語法模型。3、設計實現了元建模語言工具，基於已有的研究設計並實現了元建模語言工具，不僅提供了可視化的建模環境，而且能夠自動進行模型的驗證工作，也為元建模語言的擴展提供了良好的支持，並與可信軟體技術相結合進行研究，建立了可信的電力領域信息模型。本課題研究解決了目前元建模語言語義不精確的問題，使得該元建模語言描述的模型具有確定的語義，並具有可執行能力，使得領域專家專注於領域知識抽象，開發人員則專注於軟體系統設計，降低建模難度，同時，使領域知識更加規範化，提高其重用、共享程度，並且能夠驗證已建立的模型與用戶需求的符合性，有效提高軟體建模的準確性，為解決領域相關建模語言的設計和領域間模型轉換打下良好的基礎，顯著降低了軟體建模的複雜度，提高了建模的效率和準確性，從而提高軟體開發的效率和最終軟體產品的質量。課題研究也取得了多項成果，在國內外權威期刊和國際會議上發表學術論文52篇，其中SCI檢索論文8篇，獲得已授權發明專利2項，申報發明專利1項，獲得國家級獎勵1項、省部級獎勵3項，博士後出站1人，在站博士後1人，培養博士生9人、碩士生13人，並與西維吉尼亞大學Reddy教授課題組建立了長期良好的合作關係，不僅多次邀請Reddy教授課題組來吉林大學訪問交流，課題組還派遣1名教師和3名博士到西維吉尼亞大學進行合作研究。本課題研究成果套用到了通信、電力、國防、醫療領域的100多家單位，其中包括：通信領域的雲南聯通、河北鐵通等11家單位、國電集團分布全國25個省市的61家電廠、國防領域的9家單位、醫療領域的22家醫院，獲得了用戶的好評，取得了良好的經濟和社會效益。
