Stochastic Concurrent Constraint Programming and Differential Equations

We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Electronic notes in theoretical computer science Jg. 190; H. 3; S. 27 - 42
Hauptverfasser: Bortolussi, Luca, Policriti, Alberto
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 06.09.2007
Schlagworte:
biological systems
ordinary differential equations
Stochastic Concurrent Constraint Programming
stochastic modeling
stochastic modeling
Stochastic Concurrent Constraint Programming
ordinary differential equations
biological systems
ISSN:1571-0661, 1571-0661
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set of Ordinary Differential Equations (ODE), and also the inverse procedure translating ODE's into sCCP programs. For the class of biochemical reactions, we show that the translation is correct w.r.t. the intended rate semantics of the models. Finally, we show that the translation does not generally preserve the dynamical behavior, giving a list of open research problems in this direction.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2007.07.003