| Autor: |
Képès François, Devillers Raymond, Klaudel Hanna, Yartseva Anastasia |
| Jazyk: |
angličtina |
| Rok vydání: |
2007 |
| Předmět: |
|
| Zdroj: |
BMC Bioinformatics, Vol 8, Iss 1, p 433 (2007) |
| Druh dokumentu: |
article |
| ISSN: |
1471-2105 |
| DOI: |
10.1186/1471-2105-8-433 |
| Popis: |
Abstract Background An appropriate choice of the modeling formalism from the broad range of existing ones may be crucial for efficiently describing and analyzing biological systems. Results We propose a new unifying and incremental formalism for the representation and modeling of biological interaction networks. This formalism allows automated translations into other formalisms, thus enabling a thorough study of the dynamic properties of a biological system. As a first illustration, we propose a translation into the R. Thomas' multivalued logical formalism which provides a possible semantics; a methodology for constructing such models is presented on a classical benchmark: the λ phage genetic switch. We also show how to extract from our model a classical ODE description of the dynamics of a system. Conclusion This approach provides an additional level of description between the biological and mathematical ones. It yields, on the one hand, a knowledge expression in a form which is intuitive for biologists and, on the other hand, its representation in a formal and structured way. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
