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


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 2020-03-04 vid 08:49