Quantitative model refinement for guarded command models

A3 Bokavsnitt, kapitel i forskningsböcker


Interna författare/redaktörer


Publikationens författare: Sepinoud Azimi, Ion Petre
Redaktörer: Marian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
Publiceringsår: 2015
Förläggare: Spandugino
Moderpublikationens namn: Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday
Artikelns första sida, sidnummer: 196
Artikelns sista sida, sidnummer: 206
ISBN: 978-606-8401-63-8


Abstrakt

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.


Senast uppdaterad 2019-21-10 vid 03:41