A Novel Formal Agent-Based Simulation Modeling Framework of an AIDS Complex Adaptive System

A Novel Formal Agent-Based Simulation Modeling Framework of an AIDS Complex Adaptive System

Amnah Siddiqa (Research Centre for Modeling and Simulation, National University of Sciences and Technology, Islamabad, Pakistan) and Muaz Niazi (Office of Research, Innovation & Commercialization, Bahria University, Islamabad, Pakistan)
Copyright: © 2013 |Pages: 21
DOI: 10.4018/ijats.2013070103


HIV/AIDS spread depends upon complex patterns of interaction among various subsets emerging at population level. This added complexity makes it difficult to study and model AIDS and its dynamics. AIDS is therefore a natural candidate to be modeled using agent-based modeling, a paradigm well-known for modeling Complex Adaptive Systems (CAS). While agent-based models are well-known to effectively model CAS, often times models can tend to be ambiguous and using only using text-based specifications (such as ODD) making models difficult to be replicated. Previous work has shown how formal specification may be used in conjunction with agent-based modeling to develop models of various CAS. However, to the best of the authors’ knowledge, no such model has been developed in conjunction with AIDS. In this paper, we present a Formal Agent-Based Simulation modeling framework (FABS-AIDS) for an AIDS-based CAS. FABS-AIDS employs the use of a formal specification model in conjunction with an agent-based model to reduce ambiguity as well as improve clarity in the model definition. The proposed model demonstrates the effectiveness of using formal specification in conjunction with agent-based simulation for developing models of CAS in general and, social network-based agent-based models, in particular.
Article Preview

2. Background

This section first provides background and related work about modeling HIV/AIDS spread, formal specification and Agent-based modeling.

Complete Article List

Search this Journal:
Open Access Articles: Forthcoming
Volume 9: 1 Issue (2017)
Volume 8: 1 Issue (2016)
Volume 7: 3 Issues (2015)
Volume 6: 4 Issues (2014)
Volume 5: 4 Issues (2013)
Volume 4: 4 Issues (2012)
Volume 3: 4 Issues (2011)
Volume 2: 4 Issues (2010)
Volume 1: 4 Issues (2009)
View Complete Journal Contents Listing