資源描述：
《基于DSL的裝備保障領(lǐng)域建?！酚蓵T上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、第34卷第2期計算機工程2008年1月Vol.34No.2ComputerEngineeringJanuary2008·軟件技術(shù)與數(shù)據(jù)庫·文章編號：1000—3428(2008)02—0066—03文獻(xiàn)標(biāo)識碼：A中圖分類號：TP311.52基于DSL的裝備保障領(lǐng)域建模11,23王金全，鄭宇軍，王侃(1.工程裝備系統(tǒng)工程研究所，北京100093；2.中國科學(xué)院軟件研究所，北京100080；3.裝甲兵工程學(xué)院科研部，北京100072)摘要：基于領(lǐng)域?qū)Ｓ谜Z言構(gòu)建了裝備保障領(lǐng)域的元模型，描述了實體、關(guān)系、行為、約束、流程等基本要素，在
2、該模型中，二次開發(fā)人員能夠方便地對該領(lǐng)域的各類軟件系統(tǒng)進行建模，并通過模型精化來自動生成最終的可執(zhí)行系統(tǒng)。實驗證明，該模型是有效的。關(guān)鍵詞：需求工程；領(lǐng)域?qū)Ｓ谜Z言；裝備保障；模型轉(zhuǎn)換DomainModelingforMaterielSupportBasedonDSL11,23WANGJin-quan,ZHENGYu-jun,WANGKan(1.SystemsEngineeringInstituteofEngineeringEquipment,Beijing100093;2.InstituteofSoftware,Chinese
3、AcademyofSciences,Beijing100080;3.ResearchOffice,AcademyofArmoredForceEngineering,Beijing100072)【Abstract】Thispaperconstructsadomainmodelformaterielsupportbasedondomain-specificlanguage,whichpreciselydefineselementsincludingentities,relationships,behaviors,constrain
4、ts,andworkflows.SecondarydeveloperscanusetheDSLtomodelavarietyofdomain-specificsoftwaresystemswhichareallinstancesofthemetamodelandwhichcanbefurthertransformedintoexecutablesystemsmechanically.Experimentalresultsshowthatthemodeliseffective.【Keywords】requirementengin
5、eering;Domain-SpecificLanguage(DSL);materielsupport;modeltransformation隨著軟件工程技術(shù)的發(fā)展，早年“軟件危機”中的許多與到(2)~(4)中的一個或多個階段，而最終用戶可能參與(3)、問題都已找到了有效的解決途徑。近20年來，在需求工程中，(4)的工作；此外，某些系統(tǒng)還會使用到多個DSL。[1]系統(tǒng)分析員一直處于主導(dǎo)地位；隨著軟件規(guī)模和多樣性的每個DSL都可被視為一個元模型，是對其領(lǐng)域上一系列提高，分析員、領(lǐng)域?qū)＜乙约坝脩糁g的交流變得愈加復(fù)雜。系統(tǒng)模型的抽
6、象；使用DSL描述的每個系統(tǒng)模型都是DSL在裝備保障領(lǐng)域中，專家和用戶的程序設(shè)計知識大都比較貧元模型的一個實例；而每個實際的可執(zhí)行系統(tǒng)都是系統(tǒng)模型乏，軟件工程師又很難從本質(zhì)上理解各類復(fù)雜的裝備保障問的一個實例。如果采用某種統(tǒng)一的方式來開發(fā)多種DSL，那題，這使得領(lǐng)域知識獲取和重用成為相關(guān)系統(tǒng)開發(fā)的兩大瓶么構(gòu)成DSL的各個抽象元素就組成了一個元-元模型。[2]頸，嚴(yán)重制約了裝備保障信息化水平的提高。領(lǐng)域?qū)Ｓ谜Z目前主流的DSL開發(fā)方法仍是建立在面向?qū)ο蟮幕A(chǔ)[3-4]言(Domain-SpecificLanguage,DSL)是針
7、對專業(yè)應(yīng)用領(lǐng)域之上，即元-元模型由一系列元-元類構(gòu)成；在領(lǐng)域模型中，的高度抽象的程序設(shè)計語言，它對領(lǐng)域模型中的語法和語義元-元類被實例化為領(lǐng)域中的元類；而在系統(tǒng)模型中，元類又進行精確的定義，同時又不像一般程序設(shè)計語言(如C,Java等)被實例化為普通類；最后這些類被實例化為實際系統(tǒng)中的可那樣涉及通用編程的大量技術(shù)細(xì)節(jié)，能夠有效地提高領(lǐng)域建執(zhí)行對象。面向?qū)ο蟮膹?fù)合和精化可擴展到DSL模型上，如模和軟件開發(fā)的效率和質(zhì)量，進而推動自動化軟件工程的發(fā)圖1所示，左側(cè)從元-元類到對象的精化過程可通過(半)自動展。化工具來完成；只要形式化地
8、定義了從單個元素到整體模型1DSL過程和模型框架的復(fù)合，那么模型的精化過程就可以通過范疇運算來自動[7]基于DSL的軟件過程框架可以自底向上地描述為：實現(xiàn)。(1)基礎(chǔ)研究機構(gòu)或廠商(如OMG,Microsoft等)提供DSLMeta-MetaClassMeta-MetaMod
