TY - JOUR
T1 - Foundational aspects of multiscale modeling of biological systems with process algebras
AU - Barbuti, Roberto
AU - Caravagna, Giulio
AU - Maggiolo-Schettini, Andrea
AU - Milazzo, Paolo
AU - Tini, Simone
N1 - Modelling and Analysis of Biological SystemsBased on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena)
PY - 2012
Y1 - 2012
N2 - We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modeling of biological systems. In the usual semantics of process algebras for modeling biological systems actions are instantaneous. When different scale levels of biological systems are considered in a single model, one should take into account that actions at a level may take much more time than actions at a lower level. Moreover, it might happen that while a component is involved in one long lasting high level action, it is involved also in several faster lower level actions. Hence, we propose a process algebra with operations and with a semantics aimed at dealing with these aspects of multiscale modeling. We give both a reduction semantics and an SOS semantics for our new algebra with a result of operational correspondence between the two. Moreover, we study behavioral equivalences for such an algebra and give some examples.
AB - We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modeling of biological systems. In the usual semantics of process algebras for modeling biological systems actions are instantaneous. When different scale levels of biological systems are considered in a single model, one should take into account that actions at a level may take much more time than actions at a lower level. Moreover, it might happen that while a component is involved in one long lasting high level action, it is involved also in several faster lower level actions. Hence, we propose a process algebra with operations and with a semantics aimed at dealing with these aspects of multiscale modeling. We give both a reduction semantics and an SOS semantics for our new algebra with a result of operational correspondence between the two. Moreover, we study behavioral equivalences for such an algebra and give some examples.
KW - Bisimulations
U2 - 10.1016/j.tcs.2011.12.058
DO - 10.1016/j.tcs.2011.12.058
M3 - Article
SN - 0304-3975
VL - 431
SP - 96
EP - 116
JO - Theoretical Computer Science
JF - Theoretical Computer Science
ER -