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ženo v:
Podrobná bibliografie
Vydáno v:Electronic notes in theoretical computer science Ročník 190; číslo 3; s. 27 - 42
Hlavní autoři: Bortolussi, Luca, Policriti, Alberto
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 06.09.2007
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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