期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种基于MDE的形式化组合建模仿真方法 被引量：1

Formal Model-driven Engineering Approach for Composable Simulations
下载PDF
导出
摘要 大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性。针对实现可组合仿真的主要问题,分析并提出了基于不同抽象程度的组合仿真的层次化功能结构模型。结合MDE模型驱动工程的设计思想,应用形式化建模的相关方法和π语言,提出了覆盖可组合仿真系统设计整个生命周期的一整套开发方法。同时,建立了基于MDE的模型映射机制,实现了基于一系列工具支持的不同模型之间的相互关联和转换,并在某大型分布式仿真系统开发中得到了应用。 The press for the composability of large-scale joint Model ＆amp; Simulation is widely acknowledged.To answer the main problems of composable simulation realization,the functional structure model of multi-level simulation was deeply analyzed and elicited.According to the related MDE concepts,a framework of simulation design which covers the whole lifecycle of system development was established.Based on formal methods and π-Languages,the model mapping mechanism was set up for the implementation of different type ...
作者 吴狄 陈杰 Flavio Oquendo
机构地区 北京理工大学信息科学技术学院 法国南部列塔尼大学VALORIA研究室
出处 《系统仿真学报》 CAS CSCD 北大核心 2009年第18期5608-5613,共6页 Journal of System Simulation
基金 国家973项目(61631) 欧盟委员会联合亚洲合作项目(EUGrant_080403pm_IW)
关键词 模型驱动工程 形式化方法 层次化组合仿真模型框架 模型映射机制 MDE formal methods multi-level composable simulation model framework model mapping
分类号 TP391.9 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献11

  • 1Davis Paul K, Anderson RobeTt H. Improving the Composability of the DoD Modeling and Simulation [R]. Santa Monica, USA: Rand Corporation, 2004.
  • 2美国国防部建模与仿真办公室(DMSO)网站[EB/OL].2009,http://www.dmso.mil.
  • 3Stephen Kasputis, Henry C Ng. Composable simulations [C]//2000 Winter Simulation Conference (WSC'00). USA: WSC, 2000, 2: 1577-1584.
  • 4Tolk Andreas, Muguira James. Avoiding Another Green Elephant [C]// Fall Simulation Interoperability Workshop 02F-SIW-007, Orlando, FL, USA. USA: IEEE CS Press 2002.
  • 5王维平,周东祥,李群,朱一凡.基于MDA的多层次框架式组合建模仿真方法研究[J].系统仿真学报,2007,19(19):4358-4362. 被引量：10
  • 6Petty Mikel D, Weisel Eric W, Mielke Roland R. A Formal Approach to Composability [C]//Interservice/Industry Training, Simulation and Education Conference (I/ITSEC), Orlando, FL, USA. USA: Academic Press, 2003.
  • 7Schmidt D C. Model-Driven Engineering [J]. Computer (S0018- 9162), 2006, 39(2): 25-31.
  • 8Oquendo F. π-Method: A Model-Driven Formal Method for Architecture- Cena'ic Software Engineering [J]. ACM SIGSOFT Software Engineering Notes (S0163-5948), 2006, 31(3): 1-13.
  • 9ArchWare项目网站[EB/OL].2005.www,arch-ware.org.
  • 10周东祥,仲辉,邓睿,李群,王维平.复杂系统仿真的可组合问题研究综述[J].系统仿真学报,2007,19(8):1819-1823. 被引量：35

二级参考文献25

  • 1李群,王超,朱一凡,王维平.基于MDA的仿真模型开发与集成方法研究[J].系统仿真学报,2007,19(2):272-276. 被引量：21
  • 2周东祥,仲辉,邓睿,李群,王维平.复杂系统仿真的可组合问题研究综述[J].系统仿真学报,2007,19(8):1819-1823. 被引量：35
  • 3Davis Paul K,Anderson Robert H.Improving the Composability of the DoD Modeling and Simulation[R].Santa Monica,Rand Corporation,2003.
  • 4Davis Paul K,Anderson Robert H.Prospects for composability of models and simulations[C]// Proceeding of SPIE,Enabling technologies for simulation Science,VIII,Dawn A.Trevisani,Alex F.Sisti Eds.,Vol.5423,2004.
  • 5Gestalt.Requirements for Composable Simulations[R].Alexandria,Virginia,DMSO,2003.
  • 6Aronson Jesse,Wade David M.Benefits and pitfalls of Composable Simulation[C]// Spring Simulation Interoperability Workshop,Orlando FL.:2000,00S-SIW-155.
  • 7Petty Mikel D,Weisel Eric W.A Composablity Lexicon[C]// Spring Simulation Interoperability Workshop,Kessimmee,FL:2003,03S-SIW-023.
  • 8Tolk Andreas,Muguira James A.The Levels of Conceptual Interoperability Model[C]// Fall Simulation Interoperability Workshop,Orlando,FL.:2003,03F-SIW-007.
  • 9McCracken James R,Eggleston Robert G.A Conceptual Approach to Composability[C]// Fall Simulation Interoperability Workshop,Orlando FL.:2005,05F-SIW-072.
  • 10Tyan Hung-Ying,Sobeih A,Hou Jennifer C.Towards Composable and Extensible Network Simulation[C]// Proceeding of 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS),Washington,DC:2005.

共引文献40

同被引文献8

  • 1吴狄,陈杰,Oquendo Flavio,张娟.基于商空间的分布式仿真系统优化设计模型[J].中南大学学报（自然科学版）,2009,40(S1):268-272. 被引量：1
  • 2Jacob S W. DMSO website [Online], available: http://www. dmso.mil, December 12, 2009.
  • 3IEEE Standard for Distributed Interactive Simulation --Application Protocols, IEEE Standard 1278, 1998.
  • 4IEEE Standard for Modeling and Simulation (M and S) High Level Architecture (HLA) -- Framework and Rules, IEEE Standard 1516, 2000.
  • 5IEEE Standard for Modeling and Simulation (M and S) High Level Architecture (HLA) -- Federate Interface Specification, IEEE Standard 1516.1, 2000.
  • 6IEEE Standard for Modeling and Simulation (M and S) High Level Architecture (HLA) -- Object Model Template (OMT) Specification, IEEE Standard 1516.2, 2000.
  • 7Zadeh L A. Towards a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic. Fuzzy Sets and Systems, 1997, 90(2): 111-127.
  • 8Pawlak Z. Rough Sets: Theoretical Aspects of Reasoning about Data. Berlin: Springer, 1991.

引证文献1

二级引证文献5

系统仿真学报
2009年 第18期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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