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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Electronic notes in theoretical computer science Ročník 190; číslo 3; s. 27 - 42
Hlavní autori: Bortolussi, Luca, Policriti, Alberto
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 06.09.2007
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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