Where academic tradition
meets the exciting future

Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response

Usman Sanwal, Luigia Petre, Ion Petre, Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response. TUCS Technical Reports 1160, TUCS, 2016.

Abstract:

In this paper we demonstrate biomodeling with Event-B. We first describe how to model generic metabolic networks in Event-B. Then, we apply this method for modeling the biological heat shock response in eukaryotic cells, using Event-B refinement techniques. The advantage of using Event-B consists in having refinement as an intrinsic feature; this provides as a final result not only a correct model, but a chain of models linked by refinement, each of which is provably correct and reusable. We consider our work as a proof-of-concept that refinement in Event-B is very suitable for biomodeling, serving clearly for mastering biological complexity. Importantly, one obtains a clear set of reusable models, at different levels of abstraction, to be used for different purposes depending on the question to address.

BibTeX entry:

@TECHREPORT{tSaPePe16a,
  title = {Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response},
  author = {Sanwal, Usman and Petre, Luigia and Petre, Ion},
  number = {1160},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2016},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Computational Biomodeling Laboratory (Combio Lab)

Edit publication