We present BioReo, 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 constructing connector circuits which have a precise formal semantics. When applied to systems biology, we get a comprehensible graphical model, which is both mathematically precise and flexible.

Joint work with David Costa and Farhad Arbab.