Refinement-based modeling of the ErbB signaling pathway

被引:1
|
作者
Iancu, Bogdan [1 ,2 ]
Sanwal, Usman [1 ,2 ]
Gratie, Cristian [1 ,2 ]
Petre, Ion [1 ,3 ,4 ]
机构
[1] Turku Ctr Comp Sci, Computat Biomodeling Lab, Turku, Finland
[2] Abo Akad Univ, Dept Comp Sci, Turku, Finland
[3] Univ Turku, Dept Math & Stat, Turku, Finland
[4] Natl Inst Res & Dev Biol Sci, Bucharest, Romania
基金
芬兰科学院;
关键词
Computational modeling; Model construction; Refinement; ErbB signaling pathway; ODE-Based models; Event-B; Invariant; PHOSPHORYLATION; NETWORK; COMPLEX;
D O I
10.1016/j.compbiomed.2019.01.016
中图分类号
Q [生物科学];
学科分类号
07 ; 0710 ; 09 ;
摘要
The construction of large scale biological models is a laborious task, which is often addressed by adopting iterative routines for model augmentation, adding certain details to an initial high level abstraction of the biological phenomenon of interest. Refitting a model at every step of its development is time consuming and computationally intensive. The concept of model refinement brings about an effective alternative by providing adequate parameter values that ensure the preservation of its quantitative fit at every refinement step. We demonstrate this approach by constructing the largest-ever refinement-based biomodel, consisting of 421 species and 928 reactions. We start from an already fit, relatively small literature model whose consistency we check formally. We then construct the final model through an algorithmic step-by-step refinement procedure that ensures the preservation of the model's fit.
引用
收藏
页码:91 / 96
页数:6
相关论文
共 50 条
  • [1] Modeling security as a dependability attribute: a refinement-based approach
    Mili, Ali
    Sheldon, Frederick
    Jilani, Lamia Labed
    Vinokurov, Alex
    Thomasian, Alex
    Ben Ayed, Rahma
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2006, 2 (01) : 39 - 48
  • [2] Polychrony for refinement-based design
    Talpin, JP
    Le Guernic, P
    Shukla, SK
    Gupta, R
    Doucet, F
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 1172 - 1173
  • [3] Refinement-based requirements modeling using Triggered Message Sequence Charts
    Sengupta, B
    Cleaveland, R
    11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 95 - 104
  • [4] Refinement-Based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone
    Zeng F.-L.
    Chang R.
    Xu H.
    Pan S.-P.
    Zhao Y.-W.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (08):
  • [5] A Composition Mechanism for Refinement-Based Methods
    Hoang, Thai Son
    Dghaym, Dana
    Snook, Colin
    Butler, Michael
    2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 100 - 109
  • [6] EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software
    Han, De-Shuai
    Yang, Qi-Liang
    Xing, Jian-Chun
    Ma, Guang-Lian
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 35 (05) : 1016 - 1046
  • [7] EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software
    De-Shuai Han
    Qi-Liang Yang
    Jian-Chun Xing
    Guang-Lian Ma
    Journal of Computer Science and Technology, 2020, 35 : 1016 - 1046
  • [8] Refinement-based verification of implementations of Stateflow charts
    Miyazawa, Alvaro
    Cavalcanti, Ana
    FORMAL ASPECTS OF COMPUTING, 2014, 26 (02) : 367 - 405
  • [9] Revisiting Snapshot Algorithms by Refinement-based Techniques
    Andriamiarina, Manamiary Bruno
    Mery, Dominique
    Singh, Neeraj Kumar
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2014, 11 (01) : 251 - 270
  • [10] Refinement-based semantics of parallel procedures
    Klaudel, H
    Riemann, RC
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1810 - 1816