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