Quantitative model refinement for guarded command models

A3 Book section, Chapters in research books

Internal Authors/Editors

Publication Details

List of Authors: Sepinoud Azimi, Ion Petre
Editors: Marian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
Publication year: 2015
Publisher: Spandugino
Book title: Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday
Start page: 196
End page: 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.

Last updated on 2020-20-09 at 06:16