A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue BMC Bioinformatics Année : 2009

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

Résumé

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.
Fichier principal
Vignette du fichier
1471-2105-10-450.pdf (789.19 Ko) Télécharger le fichier
1471-2105-10-450-S1.PDF (42.83 Ko) Télécharger le fichier
1471-2105-10-450-S2.PDF (42.64 Ko) Télécharger le fichier
1471-2105-10-450-S3.PDF (33.89 Ko) Télécharger le fichier
1471-2105-10-450-S4.PDF (52.93 Ko) Télécharger le fichier
1471-2105-10-450.xml (104.92 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Format : Autre
Format : Autre
Format : Autre
Format : Autre
Format : Autre

Dates et versions

hal-00784446 , version 1 (04-02-2013)

Identifiants

Citer

Pedro Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, et al.. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. BMC Bioinformatics, 2009, 10 (1), pp.450. ⟨10.1186/1471-2105-10-450⟩. ⟨hal-00784446⟩
418 Consultations
341 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More