Abstract
Cancer and diabetes are two highly malignant diseases. Accumulating evidence suggests that cancer incidence might be associated with diabetes mellitus, especially Type-2 diabetes which is characterized by hyperinsulinemia, hyperglycemia, obesity, and overexpression of multiple components of the WNT pathway. These diabetes risk factors can activate a number of signaling pathways that are important in the development of different cancers. To systematically understand the signaling components that link diabetes and cancer risk, we have constructed a single-cell, synchronous Boolean network model by integrating the signaling pathways that are influenced by these risk factors. Then, we have applied Model Checking, a formal verification approach, to qualitatively study several temporal logic properties of our diabetes-cancer model. Our aim was to study insulin resistance, cancer cell proliferation and apoptosis. The verification results show that the diabetes risk factors might not increase cancer risk in normal cells, but they will promote cell proliferation if the cell is in a precancerous or cancerous stage characterized by losses of the tumor-suppressor proteins ARF and INK4a.
Keywords: Apoptosis, boolean network, cancer, diabetes, model checking, signaling pathway, temporal logic, Glucose-AMPK-mTOR, Insulin-PI3K, Obesity-ROS-JNK
Current Bioinformatics
Title:Model Checking a Synchronous Diabetes-Cancer Logical Network
Volume: 8 Issue: 1
Author(s): Haijun Gong, Paolo Zuliani and Edmund M. Clarke
Affiliation:
Keywords: Apoptosis, boolean network, cancer, diabetes, model checking, signaling pathway, temporal logic, Glucose-AMPK-mTOR, Insulin-PI3K, Obesity-ROS-JNK
Abstract: Cancer and diabetes are two highly malignant diseases. Accumulating evidence suggests that cancer incidence might be associated with diabetes mellitus, especially Type-2 diabetes which is characterized by hyperinsulinemia, hyperglycemia, obesity, and overexpression of multiple components of the WNT pathway. These diabetes risk factors can activate a number of signaling pathways that are important in the development of different cancers. To systematically understand the signaling components that link diabetes and cancer risk, we have constructed a single-cell, synchronous Boolean network model by integrating the signaling pathways that are influenced by these risk factors. Then, we have applied Model Checking, a formal verification approach, to qualitatively study several temporal logic properties of our diabetes-cancer model. Our aim was to study insulin resistance, cancer cell proliferation and apoptosis. The verification results show that the diabetes risk factors might not increase cancer risk in normal cells, but they will promote cell proliferation if the cell is in a precancerous or cancerous stage characterized by losses of the tumor-suppressor proteins ARF and INK4a.
Export Options
About this article
Cite this article as:
Gong Haijun, Zuliani Paolo and M. Clarke Edmund, Model Checking a Synchronous Diabetes-Cancer Logical Network, Current Bioinformatics 2013; 8 (1) . https://dx.doi.org/10.2174/1574893611308010004
DOI https://dx.doi.org/10.2174/1574893611308010004 |
Print ISSN 1574-8936 |
Publisher Name Bentham Science Publisher |
Online ISSN 2212-392X |
- Author Guidelines
- Graphical Abstracts
- Fabricating and Stating False Information
- Research Misconduct
- Post Publication Discussions and Corrections
- Publishing Ethics and Rectitude
- Increase Visibility of Your Article
- Archiving Policies
- Peer Review Workflow
- Order Your Article Before Print
- Promote Your Article
- Manuscript Transfer Facility
- Editorial Policies
- Allegations from Whistleblowers
Related Articles
-
Recent Advances in Liver X Receptor Biology and Chemistry
Current Topics in Medicinal Chemistry Differential Regulation of microRNAs in Patients with Ischemic Stroke
Current Neurovascular Research Insulin-Like Growth Factor-1 and its Derivatives: Potential Pharmaceutical Application for Ischemic Brain Injury
Recent Patents on CNS Drug Discovery (Discontinued) The Added Value of Oral Glucose Tolerance Testing in Pre-Diabetes
Current Diabetes Reviews Functional Link Between Adenosine and Insulin: A Hypothesis for Fetoplacental Vascular Endothelial Dysfunction in Gestational Diabetes
Current Vascular Pharmacology How Do Periodontal Infections Affect the Onset and Progression of Alzheimer’s Disease?
CNS & Neurological Disorders - Drug Targets Vulnerable Atherosclerotic Plaque: Clinical Implications
Current Vascular Pharmacology Neonatal Diabetes: Applying Molecular Biology to Patient Care
Current Pediatric Reviews Novel Therapeutic Targets for Phosphodiesterase 5 Inhibitors: current state-of-the-art on systemic arterial hypertension and atherosclerosis
Current Pharmaceutical Biotechnology The Changing Face of HIV/AIDS in Treated Patients
Current HIV Research Methylglyoxal, A Metabolite Increased in Diabetes is Associated with Insulin Resistance, Vascular Dysfunction and Neuropathies
Current Drug Metabolism Neuropeptide/Receptor Expression and Plasticity in Micturition Pathways
Current Pharmaceutical Design Growth Responses Following a Single Intra-Muscular hGH Plasmid Administration Compared to Daily Injections of hGH in Dwarf Mice
Current Gene Therapy Antipsychotic Medication Adherence and Satisfaction Among Palestinian People with Schizophrenia
Current Clinical Pharmacology Perinatal Depression, Fetal Bonding, and Mother-Child Attachment: A Review of the Literature
Current Pediatric Reviews The Ignored Role of Intraoperative Hypotension in Producing Postoperative Acute Kidney Injury-An Obligatory Appeal for More Preventative Nephrology
Current Hypertension Reviews Near Infrared Spectroscopy in Healthy Preterm and Term Newborns: Correlation with Gestational Age and Standard Monitoring Parameters
Current Neurovascular Research Agonism of Peroxisome Proliferator Receptor-Gamma may have Therapeutic Potential for Neuroinflammation and Parkinsons Disease
Current Neuropharmacology Adenocarcinoma of the Appendix in Elderly: Diagnostic Dilemma
New Emirates Medical Journal Immunoglobulin Free Light Chains in Immune Responses
Current Immunology Reviews (Discontinued)