Jang Won Bae, GeunHo Lee, and Il-Chul Moon, Formal Specification Supporting Incremental and Flexible Agent-Based Modeling, Winter Simulation Conference (WSC 2012), Berlin, Germany, Dec 9-12, 2012

Abstract

Agent-based models have been used for diverse domains such as military, sociology, and urban planning. There is a growing concern about the incrementality and the flexibility of the agent-based models in further sophisticated and large-scale utilization. To resolve this concern, we suggest that specifying agent-based models formally will resolve the problems of incrementality and flexibility of the agent-based models through an organized composition of model components. To organize the composition of agent-based models, we survey formalisms that are applicable to agent-based models, including formalisms from the discrete event models, i.e., DEVS, MDEVS, and Cell-DEVS, as well as formalisms used in the communities of agent-based models, i.e., BDI, MDP, and Game Theory. Then, we compare, contrast, and propose an overarching formal specification for agent-based models that embody the key nature of agents. As an example, we show how to incrementally merge and flexibly manage traditional agent-based models through proposed formal specifications.

@INPROCEEDINGS{6465163, 
author={J. W. Bae and G. Lee and I. C. Moon}, 
booktitle={Proceedings of the 2012 Winter Simulation Conference (WSC)}, 
title={Formal specification supporting incremental and flexible agent-based modeling}, 
year={2012}, 
pages={1-12}, 
keywords={formal specification;software agents;BDI;MDEVS;MDP;cell-DEVS;discrete event model;flexible agent-based modeling;formal specification;game theory;incremental agent-based modeling;military;model component;sociology;urban planning;Adaptation models;Communities;Couplings;Formal specifications;Mathematical model;Modeling;Unified modeling language}, 
doi={10.1109/WSC.2012.6465163}, 
ISSN={0891-7736}, 
month={Dec}

}

Source Website: 

 http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6465163