50 Shades of Rule Composition: From Chemical Reactions to Higher Levels of Abstraction

Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review


Graph rewriting has been applied quite successfully to model chemical and biological systems at different levels of abstraction. A particularly powerful feature of rule-based models that are rigorously grounded in category theory, is, that they admit a well-defined notion of rule composition, hence, provide their users with an intrinsic mechanism for compressing trajectories and coarse grained representations of dynamical aspects. The same formal framework, however, also allows the detailed analysis of transitions in which the final and initial states are known, but the detailed stepwise mechanism remains hidden. To demonstrate the general principle we consider here how rule composition is used to determine accurate atom maps for complex enzyme reactions. This problem not only exemplifies the paradigm but is also of considerable practical importance for many down-stream analyses of metabolic networks and it is a necessary prerequisite for predicting atom traces for the analysis of isotope labelling experiments.
TitelFormal Methods in Macro-Biology : Proceedings of the First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014
RedaktørerFrançois Fages, Carla Piazza
ISBN (Trykt)978-3-319-10397-6
ISBN (Elektronisk)978-3-319-10398-3
StatusUdgivet - 2014
Begivenhed1st International Conference on Formal Methods in Macro-Biology - Nouméa, Ny Kaledonien
Varighed: 22. sep. 201424. sep. 2014
Konferencens nummer: 1


Konference1st International Conference on Formal Methods in Macro-Biology
LandNy Kaledonien
NavnLecture Notes in Computer Science

Fingeraftryk Dyk ned i forskningsemnerne om '50 Shades of Rule Composition: From Chemical Reactions to Higher Levels of Abstraction'. Sammen danner de et unikt fingeraftryk.