Abstract | ||
---|---|---|
Verifying that a computational model implements the conceptual model of some dynamic biological phenomena is an important yet non-trivial task. In this paper, we discuss a variety of steps that contribute to this verification process, using the Bio-PEPA process algebra as a modelling language and describing the verification steps that are supported by the Bio-PEPA tool. In particular, we elaborate on both static analysis based on the structure of models and dynamic analysis of generated stochastic simulation traces performed using the Traviando trace analyser. We illustrate the approach with a model of a JAK/STAT signalling pathway. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1839764.1839769 | CMSB |
Keywords | Field | DocType |
dynamic biological phenomenon,bio-pepa process algebra,verification step,dynamic analysis,conceptual model,stat signalling pathway,verification process,computational model,verifying bio-pepa model,bio-pepa tool,static analysis,gillespie algorithm,computer model,signalling pathway,stochastic simulation,verification,process algebra | Stochastic simulation,Analyser,STAT signalling pathway,Conceptual model,Computer science,Static analysis,Theoretical computer science,Gillespie algorithm,Process calculus,PEPA | Conference |
Citations | PageRank | References |
2 | 0.37 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Allan Clark | 1 | 259 | 13.74 |
Stephen Gilmore | 2 | 2 | 0.37 |
Maria Luisa Guerriero | 3 | 176 | 11.88 |
Peter Kemper | 4 | 348 | 29.80 |