{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T20:06:30Z","timestamp":1760472390105,"version":"3.37.3"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T00:00:00Z","timestamp":1452211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T00:00:00Z","timestamp":1452211200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Complex Adapt Syst Model"],"published-print":{"date-parts":[[2016,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:sec><jats:title>Purpose<\/jats:title><jats:p>The complex interactions between genetic machinery of HIV-1 and host immune cells mediate dynamic adaptive responses leading to Autoimmune Deficiency Syndrome. These interactions are captured as Biological Regulatory Network (BRN) which acts to maintain the viability of host cell machinery through feedback control mechanism which is a characteristic of complex adaptive systems. In this study, the BRN of immune response against HIV-1 infection is modeled to investigate the role of NF-\u03baB and TNF-\u03b1 in disease transmission using qualitative (discrete) and hybrid modeling formalisms.<\/jats:p><\/jats:sec><jats:sec><jats:title>Methods<\/jats:title><jats:p>Qualitative and Hybrid modeling approaches are used to model the BRN for the dynamic analysis. The qualitative model is based on the logical parameters while the hybrid model is based on the time delay parameters.<\/jats:p><\/jats:sec><jats:sec><jats:title>Results<\/jats:title><jats:p>The qualitative model gives useful insights about the physiological condition observed as the homeostasis of all the entities of the BRN as well as pathophysiological behaviors representing high expression levels of NF-\u03baB, TNF-\u03b1 and HIV. Since the qualitative model is time abstracted, so a hybrid model is developed to analyze the behavior of the BRN by associating activation and inhibition time delays with each entity. HyTech tool synthesizes time delay constraints for the existence of homeostasis.<\/jats:p><\/jats:sec><jats:sec><jats:title>Conclusion<\/jats:title><jats:p>Hybrid model reveals various viability constraints that characterize the conditional existence of cyclic states (homeostasis). The resultant relations suggest larger cycle period of HIV-1 than the cycle periods of the other two entities (NF-\u03baB and TNF-\u03b1) to maintain a homeostatic expressions of these entities.<\/jats:p><\/jats:sec>","DOI":"10.1186\/s40294-015-0013-4","type":"journal-article","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T12:27:04Z","timestamp":1452256024000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["On the modeling and analysis of the biological regulatory network of NF-$${\\kappa }$$B activation in HIV-1 infection"],"prefix":"10.1186","volume":"4","author":[{"given":"Zurah","family":"Bibi","sequence":"first","affiliation":[]},{"given":"Jamil","family":"Ahmad","sequence":"additional","affiliation":[]},{"given":"Amjad","family":"Ali","sequence":"additional","affiliation":[]},{"given":"Amnah","family":"Siddiqa","sequence":"additional","affiliation":[]},{"given":"Shaheen","family":"Shahzad","sequence":"additional","affiliation":[]},{"given":"Samar HK","family":"Tareen","sequence":"additional","affiliation":[]},{"given":"Hussnain Ahmed","family":"Janjua","sequence":"additional","affiliation":[]},{"given":"Shah","family":"Khusro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"issue":"6884","key":"13_CR1","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1038\/417095a","volume":"417","author":"DC Douek","year":"2002","unstructured":"Douek DC, Brenchley JM, Ambrozak DR, Betts MR, Hill BJ, Okamoto Y, Casazza JP, Kuruppu J, Kunstman K, Wolinsky S, Grossman Z, Dybul M, Oxenius A, Price DA, Connors M, Koup RA (2002) HIV preferentially infects hiv-specific CD4+ t cells. Nature 417(6884):95\u201398","journal-title":"Nature"},{"issue":"5","key":"13_CR2","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/S1074-7613(03)00092-X","volume":"18","author":"DF Legler","year":"2003","unstructured":"Legler DF, Micheau O, Doucey M-A, Tschopp J, Bron C (2003) Recruitment of tnf receptor 1 to lipid rafts is essential for tnf$$\\alpha$$-mediated nf-$$\\kappa$$b activation. Immunity 18(5):655\u2013664","journal-title":"Immunity"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S1808-8694(15)31133-2","volume":"73","author":"RFF Vitale","year":"2007","unstructured":"Vitale RFF, Ribeiro FDAQDEA (2007) The role of tumor necrosis factor-alpha (TNF-alpha) in bone resorption present in middle ear cholesteatoma. Braz J Otorhinolaryngol 73(1):117\u2013121","journal-title":"Braz J Otorhinolaryngol"},{"key":"13_CR4","first-page":"3","volume":"65","author":"CO Bingham 3rd","year":"2002","unstructured":"Bingham CO 3rd (2002) The pathogenesis of rheumatoid arthritis: pivotal cytokines involved in bone degradation and inflammation. J Rheumatol 65:3\u20139","journal-title":"J Rheumatol"},{"issue":"11","key":"13_CR6","doi-asserted-by":"crossref","first-page":"7388","DOI":"10.1128\/jvi.70.11.7388-7397.1996","volume":"70","author":"G Herbein","year":"1996","unstructured":"Herbein G, Montaner LJ, Gordon S (1996) Tumor necrosis factor alpha inhibits entry of human immunodeficiency virus type 1 into primary human macrophages: a selective role for the 75-kilodalton receptor. J Virol 70(11):7388\u20137397","journal-title":"J Virol"},{"issue":"7","key":"13_CR7","doi-asserted-by":"crossref","first-page":"3653","DOI":"10.4049\/jimmunol.163.7.3653","volume":"163","author":"BR Lane","year":"1999","unstructured":"Lane BR, Markovitz DM, Woodford NL, Rochford R, Strieter RM, Coffey MJ (1999) Tnf-alpha inhibits hiv-1 replication in peripheral blood monocytes and alveolar macrophages by inducing the production of rantes and decreasing c-c chemokine receptor 5 (ccr5) expression. J Immunol 163(7):3653\u20133661","journal-title":"J Immunol"},{"issue":"4","key":"13_CR8","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1038\/nm.3166","volume":"19","author":"M Swami","year":"2013","unstructured":"Swami M (2013) HIV infections: Restricting HIV from macrophages. Nat Med 19(4):416. doi:10.1038\/nm.3166","journal-title":"Nat Med"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1186\/1742-4690-7-34","volume":"7","author":"G Herbein","year":"2010","unstructured":"Herbein G, Gras G, Khan K, Abbas W (2010) Macrophage signaling in HIV-1 infection. Retrovirology 7(1):34. doi:10.1186\/1742-4690-7-34","journal-title":"Retrovirology"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1186\/1742-4690-5-111","volume":"5","author":"GB Melikyan","year":"2008","unstructured":"Melikyan GB (2008) Common principles and intermediates of viral protein-mediated fusion: the HIV-1 paradigm. Retrovirology 5(1):111","journal-title":"Retrovirology"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1111\/j.1365-2249.1994.tb07016.x","volume":"95","author":"G Herbein","year":"1994","unstructured":"Herbein G, Keshav S, OLLIN M, Montaner L, Gordon S (1994) HIV-1 induces tumour necrosis factor and IL-1 gene expression in primary human macrophages independent of productive infection. Clin Exp Immunol 95(3):442\u2013449","journal-title":"Clin Exp Immunol"},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0092-8674(02)00703-1","volume":"109","author":"S Ghosh","year":"2002","unstructured":"Ghosh S, Karin M (2002) Missing pieces in the nf-$$\\kappa$$b puzzle. Cell 109(2):81\u201396","journal-title":"Cell"},{"issue":"4","key":"13_CR13","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1038\/icb.2008.21","volume":"86","author":"ST Grey","year":"2008","unstructured":"Grey ST (2008) Regulating inflammation: The ying and yang of nf-$$\\kappa$$b activation. Immunol Cell Biol 86(4):299\u2013300","journal-title":"Immunol Cell Biol"},{"issue":"5900","key":"13_CR14","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1126\/science.1160617","volume":"322","author":"O Brandman","year":"2008","unstructured":"Brandman O, Meyer T (2008) Feedback loops shape cellular signals in space and time. Science 322(5900):390\u2013395","journal-title":"Science"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R Thomas","year":"1995","unstructured":"Thomas R, Thieffry D (1995) Dynamical behaviour of biological regulatory networks. I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull Math Biol 57:247\u2013276","journal-title":"Bull Math Biol"},{"key":"13_CR16","first-page":"479","volume":"42","author":"R Thomas","year":"1998","unstructured":"Thomas R et al (1998) Laws for the dynamics of regulatory networks. Int J Dev Biol 42:479\u2013485","journal-title":"Int J Dev Biol"},{"issue":"8","key":"13_CR17","doi-asserted-by":"publisher","first-page":"1867","DOI":"10.1016\/j.febslet.2005.02.007","volume":"579","author":"J Gagneur","year":"2005","unstructured":"Gagneur J, Casari G (2005) From molecular networks to qualitative cell behavior. FEBS Lett 579(8):1867\u20131871","journal-title":"FEBS Lett"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H De Jong","year":"2004","unstructured":"De Jong H, Gouz\u00e9 J-L, Hernandez C, Page M, Sari T, Geiselmann J (2004) Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull Math Biol 66(2):301\u2013340","journal-title":"Bull Math Biol"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Bibi Z, Ahmad J, Niazi U (2011) Dynamical modeling of the biological regulatory network of nf-kb activation in hiv-1. In: Computer Networks and Information Technology (ICCNIT), 2011 International Conference On, pp. 47\u201451. IEEE","DOI":"10.1109\/ICCNIT.2011.6020906"},{"issue":"4","key":"13_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1159\/000110010","volume":"3","author":"J Ahmad","year":"2007","unstructured":"Ahmad J, Bernot G, Comet J-P, Lime D, Roux O (2007) Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComPlexUs 3(4):231\u2013251","journal-title":"ComPlexUs"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1186\/1752-0509-4-79","volume":"4","author":"J Fromentin","year":"2010","unstructured":"Fromentin J, Eveillard D, Roux O (2010) Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. BMC Syst Biol 4(1):79","journal-title":"BMC Syst Biol"},{"issue":"3","key":"13_CR22","doi-asserted-by":"publisher","first-page":"33532","DOI":"10.1371\/journal.pone.0033532","volume":"7","author":"J Ahmad","year":"2012","unstructured":"Ahmad J, Niazi U, Mansoor S, Siddique U, Bibby J (2012) Formal modeling and analysis of the mal-associated biological regulatory network: insight into cerebral malaria. PLoS One 7(3):33532","journal-title":"PLoS One"},{"issue":"3","key":"13_CR23","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.biosystems.2009.05.002","volume":"98","author":"J Ahmad","year":"2009","unstructured":"Ahmad J, Bourdon J, Eveillard D, Fromentin J, Roux O, Sinoquet C (2009) Temporal constraints of a gene regulatory network: refining a qualitative simulation. Biosystems 98(3):149\u2013159. doi:10.1016\/j.biosystems.2009.05.002. (Evolving gene regulatory networks)","journal-title":"Biosystems"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Ahmad J, Roux O (2008) Invariance kernel of biological regulatory networks. In: Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine. BIBM \u201908, pp. 135\u2013140. IEEE Computer Society, Washington, DC. doi:10.1109\/BIBM.2008.64. http:\/\/dx.doi.org\/10.1109\/BIBM.2008.64","DOI":"10.1109\/BIBM.2008.64"},{"key":"13_CR25","unstructured":"Thieffry, D, Thomas R (1998) Qualitative analysis of gene networks. Pacific Symposium on Biocomputing. pp 77\u201388"},{"key":"13_CR26","unstructured":"Thomas R, D\u2019Ari R (1990) Biological feedback. Taylor & Francis, London. http:\/\/books.google.com.pk\/books?id=WrRVk7B\\_NLgC"},{"issue":"3","key":"13_CR27","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G Bernot","year":"2004","unstructured":"Bernot G, Comet J-PP, Richard A, Guespin J (2004) Application of formal methods to biological regulatory networks: extending thomas\u2019 asynchronous logical approach with temporal logic. J Theor Biol 229(3):339\u2013347. doi:10.1016\/j.jtbi.2004.04.003","journal-title":"J Theor Biol"},{"key":"13_CR28","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke EM Jr, Grumberg O, Peled DA (1999) Model Checking. MIT Press, Cambridge"},{"issue":"1","key":"13_CR29","first-page":"15","volume":"3","author":"Z Khalis","year":"2009","unstructured":"Khalis Z, Comet J-P, Richard A, Bernot G (2009) The SMBioNet method for discovering models of gene regulatory networks. Genes, genomes and genomics 3(1):15\u201322","journal-title":"Genes, genomes and genomics"},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.compbiolchem.2014.10.003","volume":"53","author":"B Aslam","year":"2014","unstructured":"Aslam B, Ahmad J, Ali A, Parachaa RZ, Tareen SHK, Niazi U, Saeed T (2014) On the modelling and analysis of the regulatory network of dengue virus pathogenesis and clearance. Comput Biol Chem 53:277\u2013291. doi:10.1016\/j.compbiolchem.2014.10.003","journal-title":"Comput Biol Chem"},{"issue":"3","key":"13_CR31","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1504\/IJBRA.2008.019573","volume":"4","author":"J Ahmad","year":"2008","unstructured":"Ahmad J, Roux O, Bernot G, Comet J-P (2008) Analysing formal models of genetic regulatory networks with delays. Int J Bioinform Res Appl 4(3):240\u2013262","journal-title":"Int J Bioinform Res Appl"},{"key":"13_CR32","first-page":"460","volume":"1","author":"TA Henzinger","year":"1997","unstructured":"Henzinger TA, Ho P-H, Wong-toi H (1997) Hytech: A model checker for hybrid systems. Softw Tools Technol Transfer 1:460\u2013463","journal-title":"Softw Tools Technol Transfer"},{"issue":"01","key":"13_CR33","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1142\/S0218339098000054","volume":"6","author":"JL Gouze","year":"1998","unstructured":"Gouze JL (1998) Positive and negative circuits in dynamical systems. J Biol Syst 6(01):11\u201315","journal-title":"J Biol Syst"},{"key":"13_CR34","unstructured":"Ahmad J (2009) Mod\u00e9lisation hybride et analyse des dynamiques des r\u00e9seaux de r\u00e9gulations biologiques en tenant compte des d\u00e9lais"},{"issue":"1","key":"13_CR35","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1182\/blood-2008-07-168393","volume":"113","author":"A Bosque","year":"2009","unstructured":"Bosque A, Planelles V (2009) Induction of HIV-1 latency and reactivation in primary memory CD4+ t cells. Blood 113(1):58\u201365","journal-title":"Blood"},{"issue":"5458","key":"13_CR36","doi-asserted-by":"publisher","first-page":"1664","DOI":"10.1126\/science.287.5458.1664","volume":"287","author":"JA Wilson","year":"2000","unstructured":"Wilson JA, Hevey M, Bakken R, Guest S, Bray M, Schmaljohn AL, Hart MK (2000) Epitopes involved in antibody-mediated protection from ebola virus. Science 287(5458):1664\u20136","journal-title":"Science"},{"issue":"6802","key":"13_CR37","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1038\/35030124","volume":"407","author":"TM Allen","year":"2000","unstructured":"Allen TM, O\u2019Connor DH, Jing P, Dzuris JL, Moth\u00e9 BR, Vogel TU, Dunphy E, Liebl ME, Emerson C, Wilson N et al (2000) Tat-specific cytotoxic T lymphocytes select for SIV escape variants during resolution of primary viraemia. Nature 407(6802):386\u2013390","journal-title":"Nature"},{"issue":"18","key":"13_CR38","doi-asserted-by":"publisher","first-page":"10096","DOI":"10.1128\/JVI.78.18.10096-10103.2004","volume":"78","author":"MP Davenport","year":"2004","unstructured":"Davenport MP, Ribeiro RM, Perelson AS (2004) Kinetics of virus-specific CD8+ t cells and the control of human immunodeficiency virus infection. J Virol 78(18):10096\u201310103","journal-title":"J Virol"},{"issue":"6609","key":"13_CR39","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1038\/384529a0","volume":"384","author":"AS Fauci","year":"1996","unstructured":"Fauci AS (1996) Host factors and the pathogenesis of HIV-induced disease. Nature 384(6609):529\u2013534","journal-title":"Nature"},{"issue":"6","key":"13_CR40","doi-asserted-by":"publisher","first-page":"1812","DOI":"10.1086\/314480","volume":"178","author":"GR Kaufmann","year":"1998","unstructured":"Kaufmann GR, Cunningham P, Kelleher AD, Zaunders J, Carr A, Vizzard J, Law M, Cooper DA et al (1998) Patterns of viral dynamics during primary human immunodeficiency virus type 1 infection. J Infect Dis 178(6):1812\u20131815","journal-title":"J Infect Dis"},{"issue":"15","key":"13_CR41","doi-asserted-by":"publisher","first-page":"2283","DOI":"10.1097\/00002030-200010200-00009","volume":"14","author":"S Lindb\u00e4ck","year":"2000","unstructured":"Lindb\u00e4ck S, Karlsson AC, Mittler J, Blaxhult A, Carlsson M, Briheim G, S\u00f6nnerborg A, Gaines H, Group, K.I.P.H.I.S et al (2000) Viral dynamics in primary HIV-1 infection. Aids 14(15):2283\u20132291","journal-title":"Aids"},{"issue":"4","key":"13_CR42","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1016\/j.jtbi.2009.04.010","volume":"259","author":"D Burg","year":"2009","unstructured":"Burg D, Rong L, Neumann AU, Dahari H (2009) Mathematical modeling of viral kinetics under immune control during primary HIV-1 infection. J Theor Biol 259(4):751\u2013759","journal-title":"J Theor Biol"},{"issue":"10","key":"13_CR43","doi-asserted-by":"crossref","first-page":"3114","DOI":"10.1128\/jvi.61.10.3114-3119.1987","volume":"61","author":"M Somasundaran","year":"1987","unstructured":"Somasundaran M, Robinson H (1987) A major mechanism of human immunodeficiency virus-induced cell killing does not involve cell fusion. J Virol 61(10):3114\u20133119","journal-title":"J Virol"},{"issue":"4","key":"13_CR44","doi-asserted-by":"publisher","first-page":"329","DOI":"10.2174\/1568005033481042","volume":"3","author":"V Muller","year":"2003","unstructured":"Muller V, Bonhoeffer S (2003) Mathematical approaches in the study of viral kinetics and drug resistance in HIV-1 infection. Curr Drug Targets Infect Disord 3(4):329\u2013344","journal-title":"Curr Drug Targets Infect Disord"}],"container-title":["Complex Adaptive Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s40294-015-0013-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s40294-015-0013-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s40294-015-0013-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s40294-015-0013-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T12:14:27Z","timestamp":1692188067000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1186\/s40294-015-0013-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,8]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["13"],"URL":"https:\/\/doi.org\/10.1186\/s40294-015-0013-4","relation":{},"ISSN":["2194-3206"],"issn-type":[{"type":"electronic","value":"2194-3206"}],"subject":[],"published":{"date-parts":[[2016,1,8]]},"assertion":[{"value":"6 November 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2015","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"1"}}