• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

Computer Engineering & Science

Previous Articles    

Formal verification of gastric adenocarcinoma
core pathway based on CTL model checking

WANG Yapeng,LEI Lihui   

  1. (School of Computer Science,Shaanxi Normal University,Xi’an 710119,China)
  • Received:2018-06-05 Revised:2018-08-15 Online:2018-12-25 Published:2018-12-25

Abstract:

Gastric adenocarcinoma is the most common malignancy in the digestive system, and its mortality ranks first among all types of cancers in the digestive tract. Its occurrence and development is a complex multi-step and multi-factor process which involves various protein molecules' change and abnormal signal pathways. However, its exact pathogenesis is still not clear. Studying its pathogenesis and exploring effective treatment methods have always been one of the most important topics in medical research. The study of gastric adenocarcinoma signal transduction networks therefore helps to elucidate its pathogenesis. At present, in the process of the development of gastric adenocarcinoma, there are some genetic changes that lead to changes in cell functions, and cancer cell environmental factors affect the function of cancer cells by acting on its receptors and signal transduction pathways. The signal transduction network of gastric adenocarcinoma is very complicated. We analyze and validate the discrete model of gastric adenocarcinoma signal transduction network to illustrate the superiority of targeting signaling pathways or protein therapeutics in gastric adenocarcinoma signal transduction networks. We use model detection technique to automatically analyze how targeting signaling pathways  and key proteins affect the fate of gastric adenocarcinoma cells, helping understand the mechanism of occurrence and development of gastric adenocarcinoma, find potential targets for the treatment of gastric adenocarcinoma and provide advice on the development of new anti-cancer drugs.
 

Key words: model checking, NuSMV, cell signaling pathway, gastric adenocarcinoma