A FORMAL MODEL FOR THE SIMULATION AND ANALYSIS OF EARLY BIOFILM FORMATION

Simple item page
dc.contributor.authorCerone, Antonio
dc.contributor.authorMarsili, Enrico
dc.date.accessioned2022-02-07T08:19:15Z
dc.date.available2022-02-07T08:19:15Z
dc.date.issued2021-03-05
dc.description.abstractBiofilms are structured communities of bacterial cells adherent to a surface. This bacterial state is called sessile. This paper focuses on the modelling of the transition between planktonic and sessile state using Real-time Maude as the modelling language. With more and more bacteria joining the sessile community, the likelihood of producing a biofilm increases. Once the percentage of bacterial cells that adheres to the surface reaches a threshold, which is specific for the considered bacterium species, a permanent biofilm is formed. An important challenge is to predict the time needed for the formation of a biofilm on a specific surface, in order to plan when the material infrastructure that comprises such a surface needs to be cleaned or replaced. We exploit the model-checking features of Real-time Maude to formally prove that a regular cleaning or replacement of the infrastructure prevents the biofilm formation.en_US
dc.identifier.citationCarroli, L. (2021c). Participatory research and planning in practice. Urban Research & Practice, 14(1), 107–109. https://doi.org/10.1080/17535069.2020.1868249en_US
dc.identifier.urihttp://nur.nu.edu.kz/handle/123456789/6026
dc.language.isoenen_US
dc.publisherFrom Data to Models and Backen_US
dc.rightsAttribution-NonCommercial-ShareAlike 3.0 United States*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/us/*
dc.subjectType of access: Open Accessen_US
dc.subjectBiofilmsen_US
dc.subjectFormal methodsen_US
dc.subjectRewriting logicen_US
dc.subjectReal-Time Maudeen_US
dc.titleA FORMAL MODEL FOR THE SIMULATION AND ANALYSIS OF EARLY BIOFILM FORMATIONen_US
dc.typeConference Paperen_US
workflow.import.sourcescience

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Cerone-Marsili2021_Chapter_AFormalModelForTheSimulationAn.pdf
Size:
641.45 KB
Format:
Adobe Portable Document Format
Description:
Conference paper
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
6.28 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles