Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria.
The discrete modeling formalism of René Thomas is a well known approach for the modeling and analysis of Biological Regulatory Networks (BRNs). This formalism uses a set of parameters which reflect the dynamics of the BRN under study. These parameters are initially unknown but may be deduced from th...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Public Library of Science (PLoS)
2012-01-01
|
| Series: | PLoS ONE |
| Online Access: | http://europepmc.org/articles/PMC3316585?pdf=render |
| _version_ | 1811310455040245760 |
|---|---|
| author | Jamil Ahmad Umar Niazi Sajid Mansoor Umair Siddique Jaclyn Bibby |
| author_facet | Jamil Ahmad Umar Niazi Sajid Mansoor Umair Siddique Jaclyn Bibby |
| author_sort | Jamil Ahmad |
| collection | DOAJ |
| description | The discrete modeling formalism of René Thomas is a well known approach for the modeling and analysis of Biological Regulatory Networks (BRNs). This formalism uses a set of parameters which reflect the dynamics of the BRN under study. These parameters are initially unknown but may be deduced from the appropriately chosen observed dynamics of a BRN. The discrete model can be further enriched by using the model checking tool HyTech along with delay parameters. This paves the way to accurately analyse a BRN and to make predictions about critical trajectories which lead to a normal or diseased response. In this paper, we apply the formal discrete and hybrid (discrete and continuous) modeling approaches to characterize behavior of the BRN associated with MyD88-adapter-like (MAL)--a key protein involved with innate immune response to infections. In order to demonstrate the practical effectiveness of our current work, different trajectories and corresponding conditions that may lead to the development of cerebral malaria (CM) are identified. Our results suggest that the system converges towards hyperinflammation if Bruton's tyrosine kinase (BTK) remains constitutively active along with pre-existing high cytokine levels which may play an important role in CM pathogenesis. |
| first_indexed | 2024-04-13T09:58:56Z |
| format | Article |
| id | doaj.art-d9c8fe181b314030894dc6d0d5487715 |
| institution | Directory Open Access Journal |
| issn | 1932-6203 |
| language | English |
| last_indexed | 2024-04-13T09:58:56Z |
| publishDate | 2012-01-01 |
| publisher | Public Library of Science (PLoS) |
| record_format | Article |
| series | PLoS ONE |
| spelling | doaj.art-d9c8fe181b314030894dc6d0d54877152022-12-22T02:51:18ZengPublic Library of Science (PLoS)PLoS ONE1932-62032012-01-0173e3353210.1371/journal.pone.0033532Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria.Jamil AhmadUmar NiaziSajid MansoorUmair SiddiqueJaclyn BibbyThe discrete modeling formalism of René Thomas is a well known approach for the modeling and analysis of Biological Regulatory Networks (BRNs). This formalism uses a set of parameters which reflect the dynamics of the BRN under study. These parameters are initially unknown but may be deduced from the appropriately chosen observed dynamics of a BRN. The discrete model can be further enriched by using the model checking tool HyTech along with delay parameters. This paves the way to accurately analyse a BRN and to make predictions about critical trajectories which lead to a normal or diseased response. In this paper, we apply the formal discrete and hybrid (discrete and continuous) modeling approaches to characterize behavior of the BRN associated with MyD88-adapter-like (MAL)--a key protein involved with innate immune response to infections. In order to demonstrate the practical effectiveness of our current work, different trajectories and corresponding conditions that may lead to the development of cerebral malaria (CM) are identified. Our results suggest that the system converges towards hyperinflammation if Bruton's tyrosine kinase (BTK) remains constitutively active along with pre-existing high cytokine levels which may play an important role in CM pathogenesis.http://europepmc.org/articles/PMC3316585?pdf=render |
| spellingShingle | Jamil Ahmad Umar Niazi Sajid Mansoor Umair Siddique Jaclyn Bibby Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria. PLoS ONE |
| title | Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria. |
| title_full | Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria. |
| title_fullStr | Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria. |
| title_full_unstemmed | Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria. |
| title_short | Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria. |
| title_sort | formal modeling and analysis of the mal associated biological regulatory network insight into cerebral malaria |
| url | http://europepmc.org/articles/PMC3316585?pdf=render |
| work_keys_str_mv | AT jamilahmad formalmodelingandanalysisofthemalassociatedbiologicalregulatorynetworkinsightintocerebralmalaria AT umarniazi formalmodelingandanalysisofthemalassociatedbiologicalregulatorynetworkinsightintocerebralmalaria AT sajidmansoor formalmodelingandanalysisofthemalassociatedbiologicalregulatorynetworkinsightintocerebralmalaria AT umairsiddique formalmodelingandanalysisofthemalassociatedbiologicalregulatorynetworkinsightintocerebralmalaria AT jaclynbibby formalmodelingandanalysisofthemalassociatedbiologicalregulatorynetworkinsightintocerebralmalaria |