期刊文献+

基于DSL的装备保障领域建模 被引量:3

Domain Modeling for Materiel Support Based on DSL
在线阅读 下载PDF
导出
摘要 基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。 This paper constructs a domain model for materiel support based on domain-specific language, which precisely defines elements including entities, relationships, behaviors, constraints, and workflows. Secondary developers can use the DSL to model a variety of domain-specific software systems which are all instances of the meta model and which can be further transformed into executable systems mechanically. Experimental results show that the model is effective.
出处 《计算机工程》 CAS CSCD 北大核心 2008年第2期66-68,71,共4页 Computer Engineering
关键词 需求工程 领域专用语言 装备保障 模型转换 requirement engineering Domain-Specific Language(DSL) materiel support model transformation
  • 相关文献

参考文献10

  • 1李明树.一种用户主导的面向领域应用软件开发新方法(英文)[J].软件学报,2000,11(7):863-870. 被引量:9
  • 2王金全 ,王侃 ,郑宇军 .CBD技术在装备保障信息管理系统中的应用[J].装甲兵工程学院学报,2004,18(4):58-61. 被引量:3
  • 3Hudak R Modular Domain Specific Languages and Tools[C]//Proc. of 5th Int'l Conf. on Software Reuse. Victoria, Canada: [s. n.], 1998: 134-142.
  • 4Ledeczi A, Bakay A, Maroti M, et al. Composing Domain-specific Design Environments[J]. IEEE Computer, 2001, 34( 11): 44-51.
  • 5Weiss D M, Lai C T R. Software Product-line Engineering[M]. Massachusetts: Addison-Wesley, 1999.
  • 6Batory D, Johnson C, MacDonaId B, et al. Achieving Extensibility Through Product-lines and Domain-specific Languages: A Case Study[J]. ACM Trans. on Software Engineering and Methodology, 2002, 11(2): 191-214.
  • 7Zheng Y J. Object-oriented Specification Composition and Refinement via Category Theoretic Computations[C]//Proc. of the 3rd Int'l Conf. on Theory and Applications of Models of Computation. Heidelberg: Springer, 2006: 601-610.
  • 8Zheng Y J, Xue J Y. MISCE: A Semi-autonlatic Development Environment for Logistic Information Systems[C]//Proc. of the 1st IEEE Int'l Conf. on Service Operation, Logistics, and Informatics. Beijing: [s. n.], 2005: 1020-1025.
  • 9郑宇军 石海鹤 薛锦云.SPEC#语言中的形式化特性.计算机科学,2005,32:165-168.
  • 10Xue J Y. A Unified Approach for Developing Efficient Algorithmic Programs[J]. Journal of Computer Sci. & Tech., 1997, 12(4): 103-118.

二级参考文献7

  • 1[1]Erich G. Design patterns - elements of reusable objectoriented software [M]. Reading: Addsion-wesley. 1995.
  • 2[2]Roger S. P. Software engineering-a practitioner's approach.New york: McGraw-Hill, 1997.
  • 3[3]Grady B. The unified modeling language user guide.Reading: Addison-Wesley, 1999.
  • 4Lu Qi,IEEE Software,1997年,14卷,1期,73页
  • 5Li M,Proceedings of the IEEEInternational Conference on Systems.Man and Cybernetics,1996年
  • 6Li M,Proceedings of the12 th InternationalConference on CAD/CAM Robotics and Factorie,1996年
  • 7Kang K,CMU/ SEI-90-TR-21,1990年

共引文献11

同被引文献21

  • 1范少锋,张乃孝.生成式程序设计研究概述[J].计算机科学,2005,32(3):12-16. 被引量:5
  • 2陈翔,王学斌,吴泉源.代码生成技术在MDA中的实现[J].计算机应用研究,2006,23(1):147-150. 被引量:25
  • 3Zheng Yun-jun, Hu Qi min, Shi Hai-he, et al. Introducing ad- vanced generic programming: categorical foundations and applications[C].//Proceedings of 3rd Int' 1 Conf. Computer Science & Education. Kaifeng, 2008 : 1495-1500.
  • 4Fan Yong-kai, Lin Jun,Sun Tian ze. Program generation mecha nism based on module relationship match reasoning[J]. Journal of Jilin University(Engineering and Technology Edition), 2006, 36(6) : 939-944.
  • 5Huang Shuang-shuang, Zook D, Smaragdakis Y. Domain-specific languages and program generation with meta-AspectJ[J]. ACM Transactions on Software Engineering and Methodology, 18 (2) : 1-32.
  • 6Goguen J A. A categorical manifesto[J ]. Mathematical Struc tures in Computer Sciences, 19 91,1 ( 1 ):49-6 7.
  • 7叶力,陈俊亮.基于程序生成的自动化服务组合技术[J].计算机工程,2007,33(18):15-17. 被引量:2
  • 8Fowler M.领域特定语言[M].北京:机械工业出版社,2013.
  • 9Mfowler.界定DSL[EB/OL].[2006-08-01].http://blog.csdn.net/mfowler/article/details/1102100.
  • 10Brooks F P.设计原本[M].北京:机械工业出版社,2011.

引证文献3

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部