Verification and testing of biological models

Authors:
Allan Clark;Jane Hillston;Stephen Gilmore;Peter Kemper
Affiliations:
University of Edinburgh, Edinburgh, UK;University of Edinburgh, Edinburgh, UK;University of Edinburgh, Edinburgh, UK;College of William and Mary, Williamsburg, VA
Venue:
Proceedings of the Winter Simulation Conference
Year:
2010

Citing 12
Cited 2

A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net

Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)

A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA

Theoretical Computer Science
Automated Trace Analysis of Discrete-Event System Models

IEEE Transactions on Software Engineering
PRISM: probabilistic model checking for performance and reliability analysis

ACM SIGMETRICS Performance Evaluation Review
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
On the analysis of numerical data time series in temporal logic

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Petri nets for systems and synthetic biology

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Design and development of software tools for Bio-PEPA

Winter Simulation Conference
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII
Biomodel engineering – from structure to behavior

Transactions on Computational Systems Biology XII
Modelling and analysis of the NF-κB pathway in bio-PEPA

Transactions on Computational Systems Biology XII

Equivalences for a biological process algebra

Theoretical Computer Science
Conservation of Mass Analysis for Bio-PEPA

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Simulation modeling in systems biology embarks on discrete event simulation only for cases of small cardinalities of entities and uses continuous simulation otherwise. Modern modeling environments like Bio-PEPA support both types of simulation within a single modeling formalism. Developing models for complex dynamic phenomena is not trivial in practice and requires careful verification and testing. In this paper, we describe relevant steps in the verification and testing of a TNFα-mediated NF-κB signal transduction pathway model and discuss to what extent automated techniques help a practitioner to derive a suitable model.