资源描述：
《基于DSL的装备保障领域建模》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第34卷第2期计算机工程2008年1月Vol.34No.2ComputerEngineeringJanuary2008·软件技术与数据库·文章编号：1000—3428(2008)02—0066—03文献标识码：A中图分类号：TP311.52基于DSL的装备保障领域建模11,23王金全，郑宇军，王侃(1.工程装备系统工程研究所，北京100093；2.中国科学院软件研究所，北京100080；3.装甲兵工程学院科研部，北京100072)摘要：基于领域专用语言构建了装备保障领域的元模型，描述了实体、关系、行为、约束、流程等基本要素，在
2、该模型中，二次开发人员能够方便地对该领域的各类软件系统进行建模，并通过模型精化来自动生成最终的可执行系统。实验证明，该模型是有效的。关键词：需求工程；领域专用语言；装备保障；模型转换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随着软件工程技术的发展，早年“软件危机”中的许多与到(2)~(4)中的一个或多个阶段，而最终用户可能参与(3)、问题都已找到了有效的解决途径。近20年来，在需求工程中，(4)的工作；此外，某些系统还会使用到多个DSL。[1]系统分析员一直处于主导地位；随着软件规模和多样性的每个DSL都可被视为一个元模型，是对其领域上一系列提高，分析员、领域专家以及用户之间的交流变得愈加复杂。系统模型的抽
6、象；使用DSL描述的每个系统模型都是DSL在装备保障领域中，专家和用户的程序设计知识大都比较贫元模型的一个实例；而每个实际的可执行系统都是系统模型乏，软件工程师又很难从本质上理解各类复杂的装备保障问的一个实例。如果采用某种统一的方式来开发多种DSL，那题，这使得领域知识获取和重用成为相关系统开发的两大瓶么构成DSL的各个抽象元素就组成了一个元-元模型。[2]颈，严重制约了装备保障信息化水平的提高。领域专用语目前主流的DSL开发方法仍是建立在面向对象的基础[3-4]言(Domain-SpecificLanguage,DSL)是针
7、对专业应用领域之上，即元-元模型由一系列元-元类构成；在领域模型中，的高度抽象的程序设计语言，它对领域模型中的语法和语义元-元类被实例化为领域中的元类；而在系统模型中，元类又进行精确的定义，同时又不像一般程序设计语言(如C,Java等)被实例化为普通类；最后这些类被实例化为实际系统中的可那样涉及通用编程的大量技术细节，能够有效地提高领域建执行对象。面向对象的复合和精化可扩展到DSL模型上，如模和软件开发的效率和质量，进而推动自动化软件工程的发图1所示，左侧从元-元类到对象的精化过程可通过(半)自动展。化工具来完成；只要形式化地
8、定义了从单个元素到整体模型1DSL过程和模型框架的复合，那么模型的精化过程就可以通过范畴运算来自动[7]基于DSL的软件过程框架可以自底向上地描述为：实现。(1)基础研究机构或厂商(如OMG,Microsoft等)提供DSLMeta-MetaClassMeta-MetaMod
