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
-
Use of Intravenous Immunoglobulin in the Treatment of Immune-Mediated Demyelinating Diseases of the Nervous System
Current Pharmaceutical Design SGLT2 Inhibitors and Cardiovascular Outcomes: Do They Differ or There is a Class Effect? New Insights from the EMPA-REG OUTCOME trial and the CVD-REAL Study
Current Cardiology Reviews Cocoa Polyphenols: Evidence from Epidemiological Studies
Current Pharmaceutical Design Diabetes Mellitus-Cell Transplantation and Gene Therapy Approaches.
Current Molecular Medicine The Role of P2Y<sub>12</sub> Receptor and Activated Platelets During Inflammation
Current Drug Targets Medicinal Herbs Effective for Gray Hair in Traditional Persian Medicine
Current Traditional Medicine Opportunities for Pharmacotherapy at the Intersection of Metabolic Syndrome and Hemostasis
Current Pharmaceutical Biotechnology The TGF-β 1/Foxp3 Regulatory Axis in Immune Self-Tolerance: Implications for Health and Disease
Inflammation & Allergy - Drug Targets (Discontinued) Lysophosphatidic Acid and Renal Fibrosis
Recent Patents on Endocrine, Metabolic & Immune Drug Discovery (Discontinued) Correlation between Serum 25 hydroxy vitamin D level and plasminogen activator inhibitor 1 in type 2 diabetic patients
Endocrine, Metabolic & Immune Disorders - Drug Targets Advanced Glycation End Products: Association with the Pathogenesis of Diseases and the Current Therapeutic Advances
Current Clinical Pharmacology New Pharmacological Approaches to the Prevention of Myocardial Ischemia- Reperfusion Injury
Current Drug Targets Rational Targeting of Peroxisome Proliferating Activated Receptor Subtypes
Current Medicinal Chemistry Is Elevated Norepinephrine an Etiological Factor in Some Cases of Alzheimers Disease?
Current Alzheimer Research Molecular Genetics and Epidemiology of Japanese Type 1 Diabetes
Current Pharmacogenomics Increased Endothelial Dysfunction and Insulin Resistance in Patients with Klinefelter Syndrome
Endocrine, Metabolic & Immune Disorders - Drug Targets TRPV1 Function in Health and Disease
Current Pharmaceutical Biotechnology Pharmacological Intervention in Type 2 Diabetes Mellitus – A Pathophysiologically Reasoned Approach?
Current Diabetes Reviews Diet and Nutritional Interventions with the Special Role of Myo-Inositol in Gestational Diabetes Mellitus Management. An Evidence-Based Critical Appraisal
Current Pharmaceutical Design A Patient with COVID-19 Disease in a Referral Hospital in Iran: A Typical Case
Infectious Disorders - Drug Targets