Abstract interpretation and types for systems biology

Abstract : interpretation is a theory of abstraction that has been introduced for the analysis of programs. In particular, it has proved useful for organizing the multiple semantics of a given programming language in a hierarchy corresponding to different detail levels, and for defining type systems for programming languages and program analyzers in software engineering. In this paper, we investigate the application of these concepts to systems biology formalisms. More specifically, we consider the Systems Biology Markup Language SBML, and the Biochemical Abstract Machine BIOCHAM with its differential, stochastic, discrete and boolean semantics. We first show how all of these different semantics, except the differential one, can be formally related by simple Galois connections. Then we define three type systems: one for checking or inferring the functions of proteins in a reaction model, one for checking or inferring the activation and inhibition effects of proteins in a reaction model, and another one for checking or inferring the topology of compartments or locations. We show that the framework of abstract interpretation elegantly applies to the formalization of these further abstractions, and to the implementation of linear or quadratic time type checking as well as type inference algorithms. Furthermore, we show a theorem of independence of the graph of activation and inhibition effects from the kinetic expressions in the reaction model, under general conditions. Through some examples, we show that the analysis of biochemical models by type inference provides accurate and useful information. Interestingly, such a mathematical formalization of the abstractions commonly used in systems biology already provides some guidelines for the extensions of biochemical reaction rule languages.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2008, 403 (1), pp.52--70. 〈10.1016/j.tcs.2008.04.024〉
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01431355
Contributeur : Sylvain Soliman <>
Soumis le : mardi 10 janvier 2017 - 16:57:57
Dernière modification le : jeudi 17 mai 2018 - 12:52:03
Document(s) archivé(s) le : mardi 11 avril 2017 - 16:26:54

Fichier

FS07tcs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

François Fages, Sylvain Soliman. Abstract interpretation and types for systems biology. Theoretical Computer Science, Elsevier, 2008, 403 (1), pp.52--70. 〈10.1016/j.tcs.2008.04.024〉. 〈hal-01431355〉

Partager

Métriques

Consultations de la notice

273

Téléchargements de fichiers

55