

FOLLOWUS
1.Institute of Simulation Engineering, College of Information Systems and Management, National University of Defense Technology, Changsha 410073, China
2.Department of Mathematics and Computer Science, University of Antwerp, Antwerp 2020, Belgium
[ "Xiao-bo LI, E-mail: lixiaobo.nudt@gmail.com" ]
Received:22 December 2012,
Revised:2013-;4-16,
Published:2013-05
Scan QR Code
Xiao-bo LI, Yong-lin LEI, Hans VANGHELUWE, et al. A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling[J]. Frontiers of Information Technology & Electronic Engineering, 2013, 14(5): 311-331.
Xiao-bo LI, Yong-lin LEI, Hans VANGHELUWE, et al. A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling[J]. Frontiers of Information Technology & Electronic Engineering, 2013, 14(5): 311-331. DOI: 10.1631/jzus.C1200374.
Decision modeling is an essential part of the combat system effectiveness simulation (CoSES)
which needs to cope with the cognitive quality
diversity
flexibility
and higher abstraction of decision making. In this paper
a multi-paradigm decision modeling framework is proposed to support decision modeling at three levels of abstraction based on domain-specific modeling (DSM). This framework designs a domain-specific modeling language (DSML) for decision modeling to raise the abstraction level of modeling
transforms the domain-specific models to formalism-based models to enable formal analysis and early verification and validation
and implements the semantics of the DSML based on a Python scripts framework which incorporates the decision model into the whole simulation system. The case study shows that the proposed approach incorporates domain expertise and facilitates domain modeler's participation in CoSES to formulate the problem using DSML in the problem domain
and enables formal analysis and automatic implementation of the decision model in the solution domain.
D. Balasubramanian , , , A. Narayanan , , , C. van Buskirk , , , G. Karsai . . The Graph Rewriting and Transformation Language: GReAT . . Proc. 3rd Int. Workshop on Graph Based Tools , , 2006 . . 1 1 - - 8 . . . .
K. Chen , , , J. Sztipanovits , , , S. Neema . . Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages . . Proc. 5th ACM Int. Conf. on Embedded Software , , 2005 . . p.35 - - 43 . . DOI: 10.1145/1086228.1086236 http://doi.org/10.1145/1086228.1086236 . .
J. Davis . . GME: the Generic Modeling Environment . . Proc. 18th Annual ACM SIGPLAN Conf. on Object-oriented Programming, Systems, Languages, and Applications , , 2003 . . p.82 - - 83 . . . .
P.K. Davis , , , J.H. Bigelow . . Experiments in Multiresolution Modeling (MRM) . . RAND Co., Santa Monica, CA , , 1998 . . .
A.E. Ferayorni , , , H.S. Sarjoughian . . Domain Driven Simulation Modeling for Software Design . . Proc. 2007 Summer Computer Simulation Conf. , , 2007 . . p.297 - - 304 . . . .
R. France , , , B. Rumpe . . Domain specific modeling . . Softw. Syst. Model. , , 2005 . . 4 ( ( 1 ): ): 1 - - 3 . . DOI: 10.1007/s10270-005-0078-1 http://doi.org/10.1007/s10270-005-0078-1 . .
G. Hemingway , , , H. Neema , , , H. Nine , , , J. Sztipanovits , , , G. Karsai . . Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach . . Simulation , , 2012 . . 88 ( ( 2 ): ): 217 - - 232 . . DOI: 10.1177/0037549711401950 http://doi.org/10.1177/0037549711401950 . .
F. Li , , , X. Shen . . A component-based aircraft instrument rapid modeling tool . . J. Zhejiang Univ.-Sci. C (Comput. & Electron.) , , 2010 . . 11 ( ( 11 ): ): 911 - - 918 . . DOI: 10.1631/jzus.C1001010 http://doi.org/10.1631/jzus.C1001010 . .
Q. Li , , , Y. Lei , , , H. Hou , , , W. Wang . . Simulation Model Portability Standard 2 and Its Application . . Publishing House of Electronics Industry, Beijing, China , , 2010 . . p.344 . .
X. Li , , , Y. Lei , , , H. Vangheluwe , , , W. Wang , , , Q. Li . . Towards a DSM-based Framework for the Development of Complex Simulation Systems . . Proc. 2011 Summer Computer Simulation Conf. , , 2011 . . p.210 - - 215 . . . .
X. Li , , , Y. Lei , , , H. Vangheluwe , , , W. Wang , , , Q. Li . . Domain specific decision modelling and statistical analysis for combat system effectiveness simulation . . J. Stat. Comput. Simul., in press , , 2013 . . DOI: 10.1080/00949655.2013.797421 http://doi.org/10.1080/00949655.2013.797421 . .
H. Liu , , , Z. Shi . . Intelligent Decision-Making Modeling Based on Object-Oriented Bayesian Network . . Proc. 3rd Int. Conf. on Information and Computing , , 2010 . . p.300 - - 303 . . DOI: 10.1109/ICIC.2010.347 http://doi.org/10.1109/ICIC.2010.347 . .
L. Liu . . Research on Modeling Fleet Cooperation Decision-Making System Based on Colored Petri Net . . Master Thesis, Xidian University, Xi'an, China (in Chinese) , , 2007 . . .
S. Mittal , , , S.A. Douglass . . From Domain Specific Languages to DEVS Components: Application to Cognitive M&S . . Proc. Symp. on Theory of Modeling & Simulation: DEVS Integrative M&S Symp. , , 2011 . . p.256 - - 265 . . . .
S. Mittal , , , Risco-Martín , , , L. J. , , , B.P. Zeigler . . DEVSML: Automating DEVS Execution over SOA Towards Transparent Simulators . . DEVS Integrative M&S Symp. , , 2007 . . p.1 - - 9 . . . .
P.J. Mosterman , , , H. Vangheluwe . . Computer automated multi-paradigm modeling: an introduction . . Simulation , , 2004 . . 80 ( ( 9 ): ): 432 - - 450 . . DOI: 10.1177/0037549704050532 http://doi.org/10.1177/0037549704050532 . .
T. Murata . . Petri nets: properties, analysis and applications . . Proc. IEEE , , 1989 . . 77 ( ( 4 ): ): 541 - - 580 . . DOI: 10.1109/5.24143 http://doi.org/10.1109/5.24143 . .
H. Neema , , , H. Nine , , , G. Hemingway , , , J. Sztipanovits , , , G. Karsai . . Rapid Synthesis of Multi-model Simulations for Computational Experiments in C2 . . Armed Forces Communications and Electronics Association-George Mason University Symp , , 2009 . . .
A.V. Ratzer , , , L. Wells , , , H.M. Lassen , , , M. Laursen , , , J.F. Qvortrup , , , M.S. Stissing , , , M. Westergaard , , , S. Christensen , , , K. Jensen . . CPN tools for editing, simulating, and analysing coloured Petri nets . . LNCS , , 2003 . . 2679 450 - - 462 . . DOI: 10.1007/3-540-44919-1_28 http://doi.org/10.1007/3-540-44919-1_28 . .
H. Sarjoughian , , , D. Huang . . A Multi-formalism Modeling Composability Framework: Agent and Discrete-Event Models . . 9th IEEE Int. Symp. on Distributed Simulation and Real-Time Applications , , 2005 . . p.249 - - 256 . . DOI: 10.1109/DISTRA.2005.4 http://doi.org/10.1109/DISTRA.2005.4 . .
H.S. Sarjoughian , , , B.P. Zeigler . . DEVS and HLA: complementary paradigms for modeling and simulation? . . Simulation , , 2000 . . 17 ( ( 4 ): ): 187 - - 196 . . . .
K.M. Seo , , , H.S. Song , , , S.J. Kwon , , , T.G. Kim . . Measurement of effectiveness for an anti-torpedo combat system using a discrete event systems specification-based underwater warfare simulator . . J. Def. Model. Simul. , , 2011 . . 8 ( ( 3 ): ): 157 - - 171 . . DOI: 10.1177/1548512910390245 http://doi.org/10.1177/1548512910390245 . .
J.A. Sokolowski . . Enhanced decision modeling using multiagent system simulation . . Simulation , , 2003 . . 79 ( ( 4 ): ): 232 - - 242 . . DOI: 10.1177/0037549703038886 http://doi.org/10.1177/0037549703038886 . .
M. Son , , , T. Kim . . Torpedo evasion simulation of underwater vehicle using fuzzy-logic-based tactical decision making in script tactics manager . . Expert Syst. Appl. , , 2012a . . 39 ( ( 9 ): ): 7995 - - 8012 . . DOI: 10.1016/j.eswa.2012.01.113 http://doi.org/10.1016/j.eswa.2012.01.113 . .
M. Son , , , T. Kim . . Maneuvering control simulation of underwater vehicle based on combined discrete-event and discrete-time modeling . . Expert Syst. Appl. , , 2012b . . 39 ( ( 17 ): ): 12992 - - 13008 . . DOI: 10.1016/j.eswa.2012.05.099 http://doi.org/10.1016/j.eswa.2012.05.099 . .
M.J. Son , , , D.Y. Cho , , , T. Kim , , , K.Y. Lee , , , Y.I. Nah . . Modeling and simulation of target motion analysis for a submarine using a script-based tactics manager . . Adv. Eng. Softw. , , 2010 . . 41 ( ( 3 ): ): 506 - - 516 . . DOI: 10.1016/j.advengsoft.2009.10.009 http://doi.org/10.1016/j.advengsoft.2009.10.009 . .
J. Sprinkle , , , B. Rumpe , , , H. Vangheluwe , , , G. Karsai . . 3 Metamodelling . . LNCS , , 2011 . . 6100 57 - - 76 . . DOI: 10.1007/978-3-642-16277-0_3 http://doi.org/10.1007/978-3-642-16277-0_3 . .
US Army Space and Missile Defense Command . . EADSIM Executive Summary . . Available from , , 2012 . . http://www.eadsim.com/EADSIMExecSum.pdf/ http://www.eadsim.com/EADSIMExecSum.pdf/ , , [Accessed on Apr. 21, 2013] . .
A. Verbraeck , , , E.C. Valentin . . Design Guidelines for Simulation Building Blocks . . Proc. Winter Simulation Conf. , , 2008 . . p.923 - - 932 . . . .
T. Walter , , , J. Ebert . . Combining DSLs and Ontologies Using Metamodel Integration . . Proc. Working Conf. of Domain-specific Languages , , 2009 . . p.148 - - 169 . . . .
W. Wang , , , W. Wang , , , J. Zander , , , Y. Zhu . . Three-dimensional conceptual model for service-oriented simulation . . J. Zhejiang Univ.-Sci. A , , 2009 . . 10 ( ( 8 ): ): 1075 - - 1081 . . DOI: 10.1631/jzus.A0920258 http://doi.org/10.1631/jzus.A0920258 . .
Publicity Resources
Related Articles
Related Author
Related Institution
京公网安备11010802024621