Abstract
We consider in this paper the modeling of biological systems
with guarded command models. We focus on the model refinement problem:
to systematically add details to the variables of a model and thus,
to dynamically specify a model at different levels of detail. We introduce
a notion of refinement for guarded command models and prove that it is
a natural extension of the model refinement concept for reaction-based
models. We demonstrate these concepts with a a running example on the
heat shock response.
| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday |
| Editors | Marian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa |
| Publisher | Spandugino |
| Pages | 196–206 |
| ISBN (Print) | 978-606-8401-63-8 |
| Publication status | Published - 2015 |
| MoE publication type | A3 Part of a book or another research book |