STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/15646| Appears in Collections: | Computing Science and Mathematics Conference Papers and Proceedings |
| Author(s): | Bodei, Chiara Bracciali, Andrea Chiarugi, Davide Gori, Roberta |
| Contact Email: | abb@stir.ac.uk |
| Title: | A Taxonomy of Causality-Based Biological Properties |
| Editor(s): | Merelli, E Quaglia, P |
| Citation: | Bodei C, Bracciali A, Chiarugi D & Gori R (2010) A Taxonomy of Causality-Based Biological Properties. 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, a satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, 27.03.2010-27.03.2010. Electronic Proceedings in Theoretical Computer Science, 19, pp. 116-133. http://arxiv.org/pdf/1002.4067v1.pdf; https://doi.org/10.4204/EPTCS.19.8 |
| Issue Date: | 2010 |
| Date Deposited: | 20-Jun-2013 |
| Conference Name: | 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, a satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010 |
| Conference Dates: | 2010-03-27 - 2010-03-27 |
| Conference Location: | Paphos, Cyprus |
| Abstract: | We formally characterize a set of causality-based properties of metabolic networks. This set of properties aims at making precise several notions on the production of metabolites, which are familiar in the biologists' terminology. From a theoretical point of view, biochemical reactions are abstractly represented as causal implications and the produced metabolites as causal consequences of the implication representing the corresponding reaction. The fact that a reactant is produced is represented by means of the chain of reactions that have made it exist. Such representation abstracts away from quantities, stoichiometric and thermodynamic parameters and constitutes the basis for the characterization of our properties. Moreover, we propose an effective method for verifying our properties based on an abstract model of system dynamics. This consists of a new abstract semantics for the system seen as a concurrent network and expressed using the Chemical Ground Form [6] calculus. We illustrate an application of this framework to a portion of a real metabolic pathway. |
| Status: | VoR - Version of Record |
| Rights: | Copyright held by C. Bodei, A. Bracciali, D. Chiarugi & R. Gori. This work is licensed under the Creative Commons Attribution License |
| URL: | http://arxiv.org/pdf/1002.4067v1.pdf |
| Licence URL(s): | http://creativecommons.org/licenses/by/3.0/ |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A taxonomy of causality-based biological properties 2010.pdf | Fulltext - Published Version | 295.07 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
A file in this item is licensed under a Creative Commons License
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.