Back to Search
Start Over
Scalable reaction network modeling with automatic validation of consistency in Event-B.
- Source :
- Scientific Reports; 1/25/2022, Vol. 12 Issue 1, p1-9, 9p
- Publication Year :
- 2022
-
Abstract
- Constructing a large biological model is a difficult, error-prone process. Small errors in writing a part of the model cascade to the system level and their sources are difficult to trace back. In this paper we extend a recent approach based on Event-B, a state-based formal method with refinement as its central ingredient, allowing us to validate for model consistency step-by-step in an automated way. We demonstrate this approach on a model of the heat shock response in eukaryotes and its scalability on a model of the ErbB signaling pathway. All consistency properties of the model were proved automatically with computer support. [ABSTRACT FROM AUTHOR]
- Subjects :
- MODEL validation
BIOLOGICAL models
CELLULAR signal transduction
Subjects
Details
- Language :
- English
- ISSN :
- 20452322
- Volume :
- 12
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Scientific Reports
- Publication Type :
- Academic Journal
- Accession number :
- 154880769
- Full Text :
- https://doi.org/10.1038/s41598-022-05308-6