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
-
Pharmacotherapy in Type 2 Diabetes: A Functional Schema for Drug Classification
Current Diabetes Reviews Honey as a Source of Dietary Antioxidants: Structures, Bioavailability and Evidence of Protective Effects Against Human Chronic Diseases
Current Medicinal Chemistry Dendritic Cells: A New Player in Osteoimmunology
Current Molecular Medicine Editorial: Can Glucagon Like Peptide 1 (GLP1) Agonists or Sodium-Glucose Co-Transporter 2 (SGLT2) Inhibitors Ameliorate Non-Alcoholic Steatohepatitis in People with or without Diabetes?
Current Vascular Pharmacology NAMPT in Regulated NAD Biosynthesis and its Pivotal Role in Human Metabolism
Current Medicinal Chemistry Stroke Risk Stratification Schemes in Atrial Fibrillation in the Era of Non- Vitamin K Anticoagulants: Misleading and Obsolete, At Least for the “Low-Risk” Patients?
Current Drug Targets Pleiotropic Effects of Statins in Atherosclerotic Disease: Focus on the Antioxidant Activity of Atorvastatin
Current Topics in Medicinal Chemistry Sol-gel Chemistry in Medicinal Science
Current Medicinal Chemistry An 8-Year Retrospective Study of Human Visceral Leishmaniasis
Current Clinical Pharmacology Obesity in the Childhood: A Link to Adult Hypertension
Current Pharmaceutical Design Primary and Secondary Stroke Prevention with Antiplatelet Drugs
Current Pharmaceutical Design Strategies for Skeletal Muscle Targeting in Drug Discovery
Current Pharmaceutical Design Editorial (Mini Hot-Topic: Determination of the Antioxidant Capacity of Dietary Substances and Extracts from Natural Sources at Molecular, Cellular And Whole Tissue Level: Sensors and Complex Microfluidic Structures)
Current Analytical Chemistry Human Tissue Kallikrein: A New Bullet for the Treatment of Ischemia
Current Pharmaceutical Design The Future of Angiotensin II Inhibition in Cardiovascular Medicine
Current Drug Targets - Cardiovascular & Hematological Disorders Adiponectin - A Novel Anti-Atherogenic Factor in the Metabolic Syndrome: Mechanisms of Action and Therapeutic Potential
Vascular Disease Prevention (Discontinued) Ketoacidosis Due to Empagliflozin, a Paradigm Shift: Case Report and Review of Literature
Current Diabetes Reviews Experimental Diabetes Mellitus Down-Regulates Large-Conductance Ca2+- Activated K+ Channels in Cerebral Artery Smooth Muscle and Alters Functional Conductance
Current Neurovascular Research Transcriptomics of Antipsychotic Drug Function: What have we Learned from Rodent Studies?
Current Psychopharmacology Current Evaluation of the Millennium Phytomedicine- Ginseng (II): Collected Chemical Entities, Modern Pharmacology, and Clinical Applications Emanated from Traditional Chinese Medicine
Current Medicinal Chemistry