Paper Info
Title
A Novel Formal Agent-Based Simulation Modeling Framework of an AIDS Complex Adaptive System
Abstract
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.
Year
DOI
Venue
2017
10.4018/ijats.2013070103
International Journal of Agent Technologies and Systems
Keywords
DocType
Volume
formal specification model,Novel Formal Agent-Based Simulation,model CAS,Modeling Framework,Complex Adaptive System,social network-based agent-based model,model AIDS,model definition,agent-based model,formal specification,times model,agent-based modeling,proposed model
Journal
abs/1708.02938
Issue
ISSN
Citations 
3
International Journal of Agent Technologies and Systems (IJATS), 5(3), 33-53 (2013)
1
PageRank 
References 
Authors
0.35
13
2
Name
Order
Citations
PageRank
Amnah Siddiqa151.42
Muaz A. Niazi217724.55