Kim, T.G. and Moon, I.-C., 2012. Combat Modeling using the DEVS Formalism. In A. Tolk, ed. Engineering Principles of Combat Modeling and Distributed Simulation. Wiley, pp. 479–510.

Abstract (Summary) : 

 This chapter introduces the discrete event system specification (DEVS) formalism and its implementation framework from the combat modeling perspective. It reviews the combat modeling and simulation practice with the formalism support. The chapter introduces further details of the DEVS formalism and the DEVSim++ framework in the combat modeling context. It walks through a case study of modeling a naval air defense scenario with the DEVS formalism and an implementation framework to show the design and the implementation of a sample combat model. First, the walkthrough shows how the DEVS formalism is utilized to formally and transparently represent a combat model. Second, the walk-through demonstrates how a DEVS implementation framework corresponds to the DEVS formalism and facilitates model implementation. Third, the walk-through explains a simulation procedure using a reusable and general purpose simulation engine included in DEVSim++ and provides a sample battle experimentation using this DEVS based approach.

@inbook {
title = {Combat Modeling Using the DEVS Formalism},
author = {Gon Kim, Tag and Moon, Il-Chul},
author = {},
publisher = {John Wiley & Sons, Inc.},
isbn = {9781118180310},
url = {http://dx.doi.org/10.1002/9781118180310.ch21},
doi = {10.1002/9781118180310.ch21},
pages = {479--510},
keywords = {combat modeling, DEVSim++ framework, discrete event system specification (DEVS) formalism, naval air defense, simulation engine},
booktitle = {Engineering Principles of Combat Modeling and Distributed Simulation},
year = {2012},
}

Source Website : 

 http://onlinelibrary.wiley.com/doi/10.1002/9781118180310.ch21/summary