Toggle Main Menu Toggle Search

Open Access padlockePrints

A Formal Framework for Composing Qualitative Models of Biological Systems

Lookup NU author(s): Hanadi Alkhudhayr, Dr Jason Steggles



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


Boolean networks are a widely used qualitative modelling approach which allows the abstract description of a biological system. One issue with the application of Boolean networks is the state space explosion problem which limits the applicability of the approach to large realistic systems. In this paper we investigate developing a compositional framework for Boolean networks to facilitate the construction and analysis of large scale models. The compositional approach we present is based on merging entities between Boolean networks using conjunction and we introduce the notion of compatibility which formalises the preservation of behaviour under composition. We investigate characterising compatibility and develop a notion of trace alignment which is sufficient to ensure compatibility. The compositional framework developed is supported by a prototype tool that automates composition and analysis.

Publication metadata

Author(s): Alkhudhayr H, Steggles J

Editor(s): Martín-Vide, C;

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: TPNC: Theory and Practice of Natural Computing

Year of Conference: 2017

Pages: 25-36

Online publication date: 19/11/2017

Acceptance date: 10/09/2017

Date deposited: 25/09/2017

Publisher: LNCS, Springer


DOI: 10.1007/978-3-319-71069-3_2

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319710686