{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T20:40:25Z","timestamp":1654116025175},"reference-count":46,"publisher":"IGI Global","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7,1]]},"abstract":"<p>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\u2019 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.<\/p>","DOI":"10.4018\/ijats.2013070103","type":"journal-article","created":{"date-parts":[[2013,12,30]],"date-time":"2013-12-30T16:03:12Z","timestamp":1388419392000},"page":"33-53","source":"Crossref","is-referenced-by-count":4,"title":["A Novel Formal Agent-Based Simulation Modeling Framework of an AIDS Complex Adaptive System"],"prefix":"10.4018","volume":"5","author":[{"given":"Amnah","family":"Siddiqa","sequence":"first","affiliation":[{"name":"Research Centre for Modeling and Simulation, National University of Sciences and Technology, Islamabad, Pakistan"}]},{"given":"Muaz","family":"Niazi","sequence":"additional","affiliation":[{"name":"Office of Research, Innovation & Commercialization, Bahria University, Islamabad, Pakistan"}]}],"member":"2432","reference":[{"key":"ijats.2013070103-0","unstructured":"Alam, S., Meyer, R., & Norling, E. (2006). Using agent-based modeling to understand the impact of HIV\/AIDS in the context of socio-economic stressors. Centre for Policy Modelling Report CPM-06-167."},{"key":"ijats.2013070103-1","doi-asserted-by":"publisher","DOI":"10.1097\/00002030-200303280-00012"},{"key":"ijats.2013070103-2","doi-asserted-by":"publisher","DOI":"10.1006\/cbmr.1996.0025"},{"key":"ijats.2013070103-3","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000294"},{"key":"ijats.2013070103-4","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.072081299"},{"key":"ijats.2013070103-5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6562-2"},{"key":"ijats.2013070103-6","doi-asserted-by":"publisher","DOI":"10.1136\/sti.78.suppl_1.i78"},{"key":"ijats.2013070103-7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60271-2","author":"J.Bowen","year":"1995","journal-title":"Formal specification and documentation using Z: A case study approach"},{"key":"ijats.2013070103-8","doi-asserted-by":"publisher","DOI":"10.1023\/B:CMOT.0000039167.91320.df"},{"key":"ijats.2013070103-9","doi-asserted-by":"publisher","DOI":"10.1037\/1099-9809.5.3.222"},{"key":"ijats.2013070103-10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1177\/00333549101250S401","article-title":"Addressing social determinants of health in the prevention and control of HIV\/AIDS, viral hepatitis, sexually transmitted infections, and tuberculosis.","volume":"125","author":"H. D.Dean","year":"2010","journal-title":"Public Health Reports"},{"key":"ijats.2013070103-11","author":"L. F.Dennard","year":"2008","journal-title":"Complexity and policy analysis: Tools and concepts for designing robust policies in a complex world"},{"key":"ijats.2013070103-12","doi-asserted-by":"publisher","DOI":"10.1177\/1525822X05279903"},{"key":"ijats.2013070103-13","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"issue":"1","key":"ijats.2013070103-14","first-page":"17","article-title":"Complex adaptive systems.","volume":"121","author":"J.Holland","year":"1992","journal-title":"Daedalus"},{"key":"ijats.2013070103-15","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-006-0001-z"},{"key":"ijats.2013070103-16","doi-asserted-by":"crossref","unstructured":"Houston, I., & King, S. (1991). CICS project report experiences and results from the use of Z in IBM. In Proceedings of the VDM'91 Formal Software Development Methods.","DOI":"10.1007\/3-540-54834-3_34"},{"key":"ijats.2013070103-17","doi-asserted-by":"publisher","DOI":"10.1007\/s12559-013-9219-y"},{"key":"ijats.2013070103-18","doi-asserted-by":"crossref","unstructured":"Jacintho, L. F. O., Batista, A. F. M., Ruas, T. L., Marietto, M. G. B., & Silva, F. A. (2010). An agent-based model for the spread of the Dengue fever: A swarm platform simulation approach.","DOI":"10.1145\/1878537.1878540"},{"key":"ijats.2013070103-19","doi-asserted-by":"publisher","DOI":"10.1038\/423605a"},{"key":"ijats.2013070103-20","doi-asserted-by":"publisher","DOI":"10.1016\/j.compenvurbsys.2008.09.002"},{"key":"ijats.2013070103-21","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2009.12.008"},{"key":"ijats.2013070103-22","author":"M.Mitchell","year":"2009","journal-title":"Complexity: A guided tour"},{"issue":"2","key":"ijats.2013070103-23","first-page":"83","article-title":"Simulation of the heterosexual HIV\/AIDS epidemic in Japan by a fuzzy mathematical model.","volume":"39","author":"S.Morio","year":"1996","journal-title":"Yonago Acta Medica"},{"key":"ijats.2013070103-24","doi-asserted-by":"publisher","DOI":"10.1097\/00002030-199705000-00012"},{"key":"ijats.2013070103-25","first-page":"89","article-title":"Modelling HIV\/AIDS epidemics in Botswana and India: Impact of interventions to prevent transmission.","volume":"80","author":"N. J. D.Nagelkerke","year":"2002","journal-title":"Bulletin of the World Health Organization"},{"key":"ijats.2013070103-26","unstructured":"Nagoski, E. (2006). An agent based model of disease diffusion in the context of heterogeneous sexual motivation. PhD, Indiana University. Retrieved from http:\/\/hdl.handle.net\/2022\/7351"},{"issue":"3","key":"ijats.2013070103-27","first-page":"163","article-title":"Agent based tools for modeling and simulation of self-organization in peer-to-peer, ad-hoc and other complex networks.","volume":"47","author":"M.Niazi","year":"2010","journal-title":"IEEE Communications Magazine"},{"key":"ijats.2013070103-28","doi-asserted-by":"publisher","DOI":"10.1007\/s11192-011-0468-9"},{"key":"ijats.2013070103-29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40776-5_30"},{"key":"ijats.2013070103-30","doi-asserted-by":"publisher","DOI":"10.1186\/2194-3206-1-1"},{"key":"ijats.2013070103-31","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2011.2142303"},{"key":"ijats.2013070103-32","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2010.2068044"},{"key":"ijats.2013070103-33","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2011.2142303"},{"key":"ijats.2013070103-34","unstructured":"Niazi, M. A. K. (2011). Towards a novel unified framework for developing formal, network and validated agent-based simulation models of complex adaptive systems. PhD, University of Stirling, Stirling. Retrieved from https:\/\/dspace.stir.ac.uk\/handle\/1893\/3365"},{"key":"ijats.2013070103-35","unstructured":"Osgood, N., Moavenzadeh, F., & Rhee, A. J. (2006). An agent-based approach to HIV\/AIDS epidemic modeling: A case study of Papua New Guinea."},{"key":"ijats.2013070103-36","doi-asserted-by":"publisher","DOI":"10.1097\/01.olq.0000175419.02839.d6"},{"key":"ijats.2013070103-37","doi-asserted-by":"crossref","unstructured":"Siddiqa, A., Niazi, M. A., Mustafa, F., Bokhari, H., Hussain, A., Akram, N., et al. (2009, August 15-16). A new hybrid agent-based modeling & simulation decision support system for breast cancer data analysis. In Proceedings of the International Conference on Information and Communication Technologies (ICICT '09).","DOI":"10.1109\/ICICT.2009.5267202"},{"key":"ijats.2013070103-38","unstructured":"Teweldemedhin, E., Marwala, T., & Mueller, C. (2004, December 5-8). Agent-based modelling: A case study in HIV epidemic. In Proceedings of the Fourth International Conference on Hybrid Intelligent Systems (HIS '04)."},{"key":"ijats.2013070103-39","doi-asserted-by":"publisher","DOI":"10.4018\/jats.2013010104"},{"key":"ijats.2013070103-40","unstructured":"Unaids, W. (2005). HIV\/AIDS surveillance project report (HASP) 2003 and 2005."},{"key":"ijats.2013070103-41","author":"W.Unaids","year":"2010","journal-title":"Second generation surveillance for HIV: The next decade"},{"key":"ijats.2013070103-42","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2004.10.031"},{"key":"ijats.2013070103-43","unstructured":"WHO. (2011). Adult HIV prevalence (15-49 years) by WHO region. In G. H. Observatory (Trans.). World Health Organization."},{"key":"ijats.2013070103-44","unstructured":"Wilensky, U. (1999). NetLogo. Evanston, IL: Center for Connected Learning Comp.-Based Modeling, Northwestern University. Retrieved from http:\/\/ccl.northwestern.edu\/netlogo"},{"key":"ijats.2013070103-45","author":"J.Woodcock","year":"1996","journal-title":"Using Z: Specification, refinement, and proof"}],"container-title":["International Journal of Agent Technologies and Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=97688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T20:23:09Z","timestamp":1654114989000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijats.2013070103"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2013,7,1]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,7]]}},"URL":"https:\/\/doi.org\/10.4018\/ijats.2013070103","relation":{},"ISSN":["1943-0744","1943-0752"],"issn-type":[{"value":"1943-0744","type":"print"},{"value":"1943-0752","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,1]]}}}