Paper Info
Title
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
Abstract
We design BioScape, a concurrent language for the stochastic simulation of biological and bio-materials processes in a reactive environment in 3D space. BioScape is based on the Stochastic Pi-Calculus, and it is motivated by the need for individual-based, continuous motion, and continuous space simulation in modeling complex bacteria-materials interactions. Our driving example is a bio-triggered drug delivery system for infection-resistant medical implants. Our models in BioScape will help in identifying biological targets and materials strategies to treat biomaterials associated bacterial infections. The novel aspects of BioScape include syntactic primitives to declare the scope in space where species can move, diffusion rate, shape, and reaction distance, and an operational semantics that deals with the specifics of 3D locations, verifying reaction distance, and featuring random movement. We define a translation from BioScape to 3@p and prove its soundness with respect to the operational semantics.
Year
DOI
Venue
2013
10.1016/j.entcs.2013.02.017
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
stochastic pi-calculus,simulation language,bacteria-materials interactions,reaction distance,bacterial infection,bio-materials process,continuous space simulation,continuous motion,operational semantics,biological target,verifying reaction distance,stochastic simulation
Stochastic simulation,Operational semantics,Computer science,Modeling and simulation,Space simulator,Theoretical computer science,Soundness,Syntax
Journal
Volume
ISSN
Citations 
293,
1571-0661
7
PageRank 
References 
Authors
0.60
17
8
Name
Order
Citations
PageRank
Adriana Compagnoni123517.76
Vishakha Sharma2283.73
Yifei Bao3141.52
Matthew Libera491.11
Svetlana Sukhishvili570.60
Philippe Bidinger6694.82
Livio Bioglio7277.56
Eduardo Bonelli819921.17