Please wait a minute...
Front. Inform. Technol. Electron. Eng.  2013, Vol. 14 Issue (5): 311-331    DOI: 10.1631/jzus.C1200374
    
A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling
Xiao-bo Li, Yong-lin Lei, Hans Vangheluwe, Wei-ping Wang, Qun Li
Institute of Simulation Engineering, College of Information Systems and Management, National University of Defense Technology, Changsha 410073, China; Department of Mathematics and Computer Science, University of Antwerp, Antwerp 2020, Belgium
Download:   PDF(0KB)
Export: BibTeX | EndNote (RIS)      

Abstract  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.

Key wordsMulti-paradigm modeling (MPM)      Decision modeling      Domain-specific modeling (DSM)      Effectiveness measurement      Model transformation     
Received: 22 December 2012      Published: 30 April 2013
CLC:  TP391.9  
Cite this article:

Xiao-bo Li, Yong-lin Lei, Hans Vangheluwe, Wei-ping Wang, Qun Li. A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling. Front. Inform. Technol. Electron. Eng., 2013, 14(5): 311-331.

URL:

http://www.zjujournals.com/xueshu/fitee/10.1631/jzus.C1200374     OR     http://www.zjujournals.com/xueshu/fitee/Y2013/V14/I5/311


A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling

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.

关键词: Multi-paradigm modeling (MPM),  Decision modeling,  Domain-specific modeling (DSM),  Effectiveness measurement,  Model transformation 
[1] László Lengyel, Hassan Charaf. Test-driven verification/validation of model transformations[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(2): 85-97.
[2] Ignacio Marin, Francisco Ortin, German Pedrosa, Javier Rodriguez. Generating native user interfaces for multiple devices by means of model transformation[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(12): 995-1017.