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
-
Diabetes and Chronic Heart Failure: From Diabetic Cardiomyopathy to Therapeutic Approach
Endocrine, Metabolic & Immune Disorders - Drug Targets Neutrophil F-actin Dynamics in Familial Mediterranean Fever: The Unequal Effect of Colchicine on Activated Neutrophils
Anti-Inflammatory & Anti-Allergy Agents in Medicinal Chemistry Uncommon Association Between Diabetic Ketoacidosis, Thyrotoxicosis, Cutaneous Abscess and Acute Pericarditis in an Immunocompetent Patient: A Single Case Report and Literature Review
Current Diabetes Reviews Nanoparticulate Drug Delivery Sytem for Cancer Therapy: Oppourtunities and Challenges
Recent Patents on Nanomedicine Is Impaired Flow-Mediated Dilatation of the Brachial Artery a Cardiovascular Risk Factor?
Current Vascular Pharmacology Spirolactones: Recent Advances in Natural Products, Bioactive Compounds and Synthetic Strategies
Current Medicinal Chemistry Approaches and Recent Trends in Gene Delivery for Treatment of Atherosclerosis
Recent Patents on Drug Delivery & Formulation Sodium-glucose Cotransporter 2 Inhibitors: The Pleiotropic Mechanisms of Actions
Cardiovascular & Hematological Disorders-Drug Targets Systematic Review of the Role of Microparticles in Systemic Sclerosis
Current Rheumatology Reviews A Critical Review of Atypical Antipsychotic Utilization: Comparing Monotherapy with Polypharmacy and Augmentation
Current Medicinal Chemistry Endoplasmic Reticulum Stress Inhibition Enhances Liver Tolerance to Ischemia/Reperfusion
Current Medicinal Chemistry NF-κB in Type 1 Diabetes
Inflammation & Allergy - Drug Targets (Discontinued) Therapeutic Angiogenesis: Recent and Future Prospects of Gene Therapy in Peripheral Artery Disease
Current Gene Therapy Advanced Approaches in Insulin Delivery
Current Pharmaceutical Biotechnology Adrenomedullin: Exciting New Horizons
Recent Patents on Endocrine, Metabolic & Immune Drug Discovery Oxidative Stress and Inflammation: Their Role in the Pathogenesis of Peripheral Artery Disease with or Without Type 2 Diabetes Mellitus
Current Vascular Pharmacology Review Metabolomics: A New Approach to Drug Delivery in Perinatology
Current Medicinal Chemistry Transcriptional Regulation of the Heme Oxygenase-1 Gene Via the Stress Response Element Pathway
Current Pharmaceutical Design High Prevalence of Vitamin D Deficiency and Correlation with Cystatin-C and Other Cardiovascular and Renal Risk Biomarkers in Patients with Type 2 Diabetes Mellitus Complicated with Hypertension
Current Diabetes Reviews Evaluation of Blood Pressure Control using a New Arterial Stiffness Parameter, Cardio-ankle Vascular Index (CAVI)
Current Hypertension Reviews