NDLI: A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking

Content Provider	PubMed Central
Author	PÃ¢rvu, Ovidiu Gilbert, David
Editor	Csikász-nagy, Attila
Copyright Year	2016
Abstract	Insights gained from multilevel computational models of biological systems can be translated into real-life applications only if the model correctness has been verified first. One of the most frequently employed in silico techniques for computational model verification is model checking. Traditional model checking approaches only consider the evolution of numeric values, such as concentrations, over time and are appropriate for computational models of small scale systems (e.g. intracellular networks). However for gaining a systems level understanding of how biological organisms function it is essential to consider more complex large scale biological systems (e.g. organs). Verifying computational models of such systems requires capturing both how numeric values and properties of (emergent) spatial structures (e.g. area of multicellular population) change over time and across multiple levels of organization, which are not considered by existing model checking approaches. To address this limitation we have developed a novel approximate probabilistic multiscale spatio-temporal meta model checking methodology for verifying multilevel computational models relative to specifications describing the desired/expected system behaviour. The methodology is generic and supports computational models encoded using various high-level modelling formalisms because it is defined relative to time series data and not the models used to generate it. In addition, the methodology can be automatically adapted to case study specific types of spatial structures and properties using the spatio-temporal meta model checking concept. To automate the computational model verification process we have implemented the model checking approach in the software tool Mule (http://mule.modelchecking.org). Its applicability is illustrated against four systems biology computational models previously published in the literature encoding the rat cardiovascular system dynamics, the uterine contractions of labour, the Xenopus laevis cell cycle and the acute inflammation of the gut and lung. Our methodology and software will enable computational biologists to efficiently develop reliable multilevel computational models of biological systems.
Related Links	http://dx.doi.org/10.1371/journal.pone.0154847
Starting Page	154847
File Format	PDF
ISSN	19326203
e-ISSN	19326203
Journal	PLoS ONE
Issue Number	5
Volume Number	11
Language	English
Publisher	Public Library of Science
Publisher Date	2016-05-01
Access Restriction	Open
Rights Holder	Public Library of Science
Subject Keyword	Biochemistry, Genetics and Molecular Biology(all) Agricultural and Biological Sciences(all) Medicine(all) Research in Higher Education
Content Type	Text
Resource Type	Article
Subject	Multidisciplinary

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Scaling Effects and Spatio-Temporal Multilevel Dynamics in Epileptic Seizures

An Accessible Method for Implementing Hierarchical Models with Spatio-Temporal Abundance Data

Event Detection using Twitter: A Spatio-Temporal Approach

Predicting BCI Subject Performance Using Probabilistic Spatio-Temporal Filters

A Customized Light Sheet Microscope to Measure Spatio-Temporal Protein Dynamics in Small Model Organisms

Spatio-Temporal Patterns of Demyelination and Remyelination in the Cuprizone Mouse Model

Probabilistic Daily ILI Syndromic Surveillance with a Spatio-Temporal Bayesian Hierarchical Model

Using Multiscale Spatial Models to Assess Potential Surrogate Habitat for an Imperiled Reptile

Spatio-Temporal Dynamics of Hypoxia during Radiotherapy

A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking

Similar Documents

Scaling Effects and Spatio-Temporal Multilevel Dynamics in Epileptic Seizures

An Accessible Method for Implementing Hierarchical Models with Spatio-Temporal Abundance Data

Event Detection using Twitter: A Spatio-Temporal Approach

Predicting BCI Subject Performance Using Probabilistic Spatio-Temporal Filters

A Customized Light Sheet Microscope to Measure Spatio-Temporal Protein Dynamics in Small Model Organisms

Spatio-Temporal Patterns of Demyelination and Remyelination in the Cuprizone Mouse Model

Probabilistic Daily ILI Syndromic Surveillance with a Spatio-Temporal Bayesian Hierarchical Model

Using Multiscale Spatial Models to Assess Potential Surrogate Habitat for an Imperiled Reptile

Spatio-Temporal Dynamics of Hypoxia during Radiotherapy

A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking