ISoLA, Date: 2004/10/30 - 2004/11/02, Location: Paphos, Cyprus
Publication date:
2006-11-01
Volume:
4313
25
ISSN:
3-540-48928-2, 978-3-540-48928-3
DOI:
10.1007/11925040_2
Publisher:
Springer
Lecture notes in computer science
Author:
Clarke, Dave
Costa, David ; Arbab, Farhad ; Margaria, T ; Steffen, B
Keywords:
coordination, biology, Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science
Abstract:
We present an application of the Reo coordination paradigm to provide a compositional formal model for describing and reasoning about the behaviour of biological systems, such as regulatory gene networks. Reo governs the interaction and flow of data between components by allowing the construction of connector circuits which have a precise formal semantics. When applied to systems biology, the result is a graphical model, which is comprehensible, mathematically precise, and flexible.