WellReader: a MATLAB program for the analysis of fluorescence and luminescence reporter gene data.

MOTIVATION: Fluorescent and luminescent reporter gene systems in combination with automated microplate readers allow real-time monitoring of gene expression on the population level at high precision and sampling density. This generates large amounts of data for the analysis of which computer tools are missing to date. RESULTS: We have developed WellReader, a MATLAB program for the analysis of fluorescent and luminescent reporter gene data. WellReader allows the user to load the output files of microplate readers, remove outliers, correct for background effects and smooth and fit the data. Moreover, it computes biologically relevant quantities from the measured signals, notably promoter activities and protein concentrations, and compares the resulting expression profiles of different genes under different conditions. AVAILABILITY: WellReader is available under a LGPL licence at http://prabi1.inrialpes.fr/trac/wellreader.

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.

BACKGROUND: The study of biological networks has led to the development of increasingly large and detailed models. Computer tools are essential for the simulation of the dynamical behavior of the networks from the model. However, as the size of the models grows, it becomes infeasible to manually verify the predictions against experimental data or identify interesting features in a large number of simulation traces. Formal verification based on temporal logic and model checking provides promising methods to automate and scale the analysis of the models. However, a framework that tightly integrates modeling and simulation tools with model checkers is currently missing, on both the conceptual and the implementational level. RESULTS: We have developed a generic and modular web service, based on a service-oriented architecture, for integrating the modeling and formal verification of genetic regulatory networks. The architecture has been implemented in the context of the qualitative modeling and simulation tool GNA and the model checkers NUSMV and CADP. GNA has been extended with a verification module for the specification and checking of biological properties. The verification module also allows the display and visual inspection of the verification results. CONCLUSIONS: The practical use of the proposed web service is illustrated by means of a scenario involving the analysis of a qualitative model of the carbon starvation response in E. coli. The service-oriented architecture allows modelers to define the model and proceed with the specification and formal verification of the biological properties by means of a unified graphical user interface. This guarantees a transparent access to formal verification technology for modelers of genetic regulatory networks.

SYCAMORE--a systems biology computational analysis and modeling research environment.

UNLABELLED: SYCAMORE is a browser-based application that facilitates construction, simulation and analysis of kinetic models in systems biology. Thus, it allows e.g. database supported modelling, basic model checking and the estimation of unknown kinetic parameters based on protein structures. In addition, it offers some guidance in order to allow non-expert users to perform basic computational modelling tasks. AVAILABILITY: SYCAMORE is freely available for academic use at http://sycamore.eml.org. Commercial users may acquire a license. CONTACT: ursula.kummer@bioquant.uni-heidelberg.de.

Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks.

Genetic Network Analyzer (GNA) is a tool for the qualitative modeling and simulation of gene regulatory networks, based on so-called piecewise-linear differential equation models. We describe the use of this tool in the context of the modeling of bacterial regulatory networks, notably the network of global regulators controlling the adaptation of Escherichia coli to carbon starvation conditions. We show how the modeler, by means of GNA, can define a regulatory network, build a model of the network, determine the steady states of the system, perform a qualitative simulation of the network dynamics, and analyze the simulation results using model-checking tools. The example illustrates the interest of qualitative approaches for the analysis of the dynamics of bacterial regulatory networks.