Scalable reaction network modeling with automatic validation of consistency in Event-B

Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)
18 Downloads (Pure)

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 𝖤𝗋𝖻𝖡 signalling pathway. All consistency properties of the model were proved automatically with computer support.
Original languageEnglish
Article number1287
Number of pages9
JournalScientific Reports
Volume12
DOIs
Publication statusPublished - Jan 2022
MoE publication typeA1 Journal article-refereed

Fingerprint

Dive into the research topics of 'Scalable reaction network modeling with automatic validation of consistency in Event-B'. Together they form a unique fingerprint.

Cite this