BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
- Autores
- Compagnoni, Adriana; Sharma, Vishaka; Bao, Yifei; Libera, Matthew; Sukhishvili, Svetlana; Bidinger, Philippe; Boglio, Livio; Bonelli, Eduardo Augusto
- Año de publicación
- 2013
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- 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π and prove its soundness with respect to the operational semantics.
Fil: Compagnoni, Adriana. Stevens Institute of Technology; Estados Unidos
Fil: Sharma, Vishaka. Stevens Institute of Technology; Estados Unidos
Fil: Bao, Yifei. Stevens Institute of Technology; Estados Unidos
Fil: Libera, Matthew. Stevens Institute of Technology; Estados Unidos
Fil: Sukhishvili, Svetlana. Stevens Institute of Technology; Estados Unidos
Fil: Bidinger, Philippe. VERIMAG; Francia
Fil: Boglio, Livio. Universita Di Torino; Italia
Fil: Bonelli, Eduardo Augusto. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnologia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina - Materia
-
BACTERIA-MATERIALS INTERACTION
STOCHASTIC PI-CALCULUS
STOCHASTIC SIMULATION - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
- Repositorio
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/3761
Ver los metadatos del registro completo
id |
CONICETDig_f089b102058e2b861f46e968752122ad |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/3761 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
BioScape: A Modeling and Simulation Language for Bacteria-Materials InteractionsCompagnoni, AdrianaSharma, VishakaBao, YifeiLibera, MatthewSukhishvili, SvetlanaBidinger, PhilippeBoglio, LivioBonelli, Eduardo AugustoBACTERIA-MATERIALS INTERACTIONSTOCHASTIC PI-CALCULUSSTOCHASTIC SIMULATIONhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We 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π and prove its soundness with respect to the operational semantics.Fil: Compagnoni, Adriana. Stevens Institute of Technology; Estados UnidosFil: Sharma, Vishaka. Stevens Institute of Technology; Estados UnidosFil: Bao, Yifei. Stevens Institute of Technology; Estados UnidosFil: Libera, Matthew. Stevens Institute of Technology; Estados UnidosFil: Sukhishvili, Svetlana. Stevens Institute of Technology; Estados UnidosFil: Bidinger, Philippe. VERIMAG; FranciaFil: Boglio, Livio. Universita Di Torino; ItaliaFil: Bonelli, Eduardo Augusto. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnologia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaElsevier2013-03-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/3761Compagnoni, Adriana; Sharma, Vishaka; Bao, Yifei; Libera, Matthew; Sukhishvili, Svetlana; et al.; BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions; Elsevier; Electronic Notes in Theoretical Computer Science; 293; 11-3-2013; 35-491571-0661engProceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1571066113000194info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2013.02.017info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:27:54Zoai:ri.conicet.gov.ar:11336/3761instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:27:54.804CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions |
title |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions |
spellingShingle |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions Compagnoni, Adriana BACTERIA-MATERIALS INTERACTION STOCHASTIC PI-CALCULUS STOCHASTIC SIMULATION |
title_short |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions |
title_full |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions |
title_fullStr |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions |
title_full_unstemmed |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions |
title_sort |
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions |
dc.creator.none.fl_str_mv |
Compagnoni, Adriana Sharma, Vishaka Bao, Yifei Libera, Matthew Sukhishvili, Svetlana Bidinger, Philippe Boglio, Livio Bonelli, Eduardo Augusto |
author |
Compagnoni, Adriana |
author_facet |
Compagnoni, Adriana Sharma, Vishaka Bao, Yifei Libera, Matthew Sukhishvili, Svetlana Bidinger, Philippe Boglio, Livio Bonelli, Eduardo Augusto |
author_role |
author |
author2 |
Sharma, Vishaka Bao, Yifei Libera, Matthew Sukhishvili, Svetlana Bidinger, Philippe Boglio, Livio Bonelli, Eduardo Augusto |
author2_role |
author author author author author author author |
dc.subject.none.fl_str_mv |
BACTERIA-MATERIALS INTERACTION STOCHASTIC PI-CALCULUS STOCHASTIC SIMULATION |
topic |
BACTERIA-MATERIALS INTERACTION STOCHASTIC PI-CALCULUS STOCHASTIC SIMULATION |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
dc.description.none.fl_txt_mv |
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π and prove its soundness with respect to the operational semantics. Fil: Compagnoni, Adriana. Stevens Institute of Technology; Estados Unidos Fil: Sharma, Vishaka. Stevens Institute of Technology; Estados Unidos Fil: Bao, Yifei. Stevens Institute of Technology; Estados Unidos Fil: Libera, Matthew. Stevens Institute of Technology; Estados Unidos Fil: Sukhishvili, Svetlana. Stevens Institute of Technology; Estados Unidos Fil: Bidinger, Philippe. VERIMAG; Francia Fil: Boglio, Livio. Universita Di Torino; Italia Fil: Bonelli, Eduardo Augusto. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnologia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina |
description |
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π and prove its soundness with respect to the operational semantics. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-03-11 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/3761 Compagnoni, Adriana; Sharma, Vishaka; Bao, Yifei; Libera, Matthew; Sukhishvili, Svetlana; et al.; BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions; Elsevier; Electronic Notes in Theoretical Computer Science; 293; 11-3-2013; 35-49 1571-0661 |
url |
http://hdl.handle.net/11336/3761 |
identifier_str_mv |
Compagnoni, Adriana; Sharma, Vishaka; Bao, Yifei; Libera, Matthew; Sukhishvili, Svetlana; et al.; BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions; Elsevier; Electronic Notes in Theoretical Computer Science; 293; 11-3-2013; 35-49 1571-0661 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12) info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1571066113000194 info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2013.02.017 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Elsevier |
publisher.none.fl_str_mv |
Elsevier |
dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
reponame_str |
CONICET Digital (CONICET) |
collection |
CONICET Digital (CONICET) |
instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
_version_ |
1844614281603055616 |
score |
13.070432 |