Edinburgh Research Explorer

Query-based verification of qualitative trends and oscillations in biochemical systems

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Original languageEnglish
Pages (from-to)2019-2036
Number of pages18
JournalTheoretical Computer Science
Issue number20
Publication statusPublished - 28 Apr 2010


We investigate the application of query-based verification to the analysis of behavioural trends of stochastic models of biochemical systems. We derive temporal logic properties which address specific behavioural questions, such as the likelihood for a species to reach a peak/deadlock state, or to exhibit monotonic/oscillatory trends. We introduce a specific modelling convention through which stochastic models of biochemical systems are made suitable to verification of the behavioural queries we define. Based on the queries we identify, we define a classification procedure which, given a stochastic model, allows for identifying meaningful qualitative behavioural trends. We illustrate the proposed query-based classification on a number of simple abstract models of biochemical systems. (C) 2010 Elsevier B.V. All rights reserved.

ID: 2654571