Sammanfattning
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.
| Originalspråk | Odefinierat/okänt |
|---|---|
| Titel på värdpublikation | Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday |
| Redaktörer | Marian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa |
| Förlag | Spandugino |
| Sidor | 196–206 |
| ISBN (tryckt) | 978-606-8401-63-8 |
| Status | Publicerad - 2015 |
| MoE-publikationstyp | A3 Del av bok eller annan forskningsbok |