A structured approach for the engineering of biochemical network models, illustrated for signalling pathways

Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology. Building and managing these complex models is a major challenge that can benefit from the application of formal methods adopted from theoretical computing science. Here we provide a general introduction to the field of formal modelling, which emphasizes the intuitive biochemical basis of the modelling process, but is also accessible for an audience with a background in computing science and/or model engineering. We show how signal transduction cascades can be modelled in a modular fashion, using both a qualitative approach--qualitative Petri nets, and quantitative approaches--continuous Petri nets and ordinary differential equations (ODEs). We review the major elementary building blocks of a cellular signalling model, discuss which critical design decisions have to be made during model building, and present a number of novel computational tools that can help to explore alternative modular models in an easy and intuitive manner. These tools, which are based on Petri net theory, offer convenient ways of composing hierarchical ODE models, and permit a qualitative analysis of their behaviour. We illustrate the central concepts using signal transduction as our main example. The ultimate aim is to introduce a general approach that provides the foundations for a structured formal engineering of large-scale models of biochemical networks.     

A reference business process for ecological niche modelling

Ecological niche modelling combines species occurrence points with environmental raster layers in order to obtain models for describing the probabilistic distribution of species. The process to generate an ecological niche model is complex. It requires dealing with a large amount of data, use of different software packages for data conversion, for model generation and for different types of processing and analyses, among other functionalities. A software platform that integrates all requirements under a single and seamless interface would be very helpful for users. Furthermore, since biodiversity modelling is constantly evolving, new requirements are constantly being added in terms of functions, algorithms and data formats. This evolution must be accompanied by any software intended to be used in this area. In this scenario, a Service-Oriented Architecture (SOA) is an appropriate choice for designing such systems. According to SOA best practices and methodologies, the design of a reference business process must be performed prior to the architecture definition. The purpose is to understand the complexities of the process (business process in this context refers to the ecological niche modelling problem) and to design an architecture able to offer a comprehensive solution, called a reference architecture, that can be further detailed when implementing specific systems. This paper presents a reference business process for ecological niche modelling, as part of a major work focused on the definition of a reference architecture based on SOA concepts that will be used to evolve the openModeller software package for species modelling. The basic steps that are performed while developing a model are described, highlighting important aspects, based on the knowledge of modelling experts. In order to illustrate the steps defined for the process, an experiment was developed, modelling the distribution of Ouratea spectabilis (Mart.) Engl. (Ochnaceae) using openModeller. As a consequence of the knowledge gained with this work, many desirable improvements on the modelling software packages have been identified and are presented. Also, a discussion on the potential for large-scale experimentation in ecological niche modelling is provided, highlighting opportunities for research. The results obtained are very important for those involved in the development of modelling tools and systems, for requirement analysis and to provide insight on new features and trends for this category of systems. They can also be very helpful for beginners in modelling research, who can use the process and the experiment example as a guide to this complex activity.     

Development and validation of computational models of cellular interaction

In this paper we take the view that computational models of biological systems should satisfy two conditions – they should be able to predict function at a systems biology level, and robust techniques of validation against biological models must be available. A modelling paradigm for developing a predictive computational model of cellular interaction is described, and methods of providing robust validation against biological models are explored, followed by a consideration of software issues.     

Integration of Boolean models exemplified on hepatocyte signal transduction

The number of mathematical models for biological pathways is rapidly growing. In particular, Boolean modelling proved to be suited to describe large cellular signalling networks. Systems biology is at the threshold to holistic understanding of comprehensive networks. In order to reach this goal, connection and integration of existing models of parts of cellular networks into more comprehensive network models is necessary. We discuss model combination approaches for Boolean models. Boolean modelling is qualitative rather than quantitative and does not require detailed kinetic information. We show that these models are useful precursors for large-scale quantitative models and that they are comparatively easy to combine. We propose modelling standards for Boolean models as a prerequisite for smooth model integration. Using these standards, we demonstrate the coupling of two logical models on two different examples concerning cellular interactions in the liver. In the first example, we show the integration of two Boolean models of two cell types in order to describe their interaction. In the second example, we demonstrate the combination of two models describing different parts of the network of a single cell type. Combination of partial models into comprehensive network models will take systems biology to the next level of understanding. The combination of logical models facilitated by modelling standards is a valuable example for the next step towards this goal.     

Network modelling of gene regulation

Gene regulatory network (GRN) modelling has gained increasing attention in the past decade. Many computational modelling techniques have been proposed to facilitate the inference and analysis of GRN. However, there is often confusion about the aim of GRN modelling, and how a gene network model can be fully utilised as a tool for systems biology. The aim of the present article is to provide an overview of this rapidly expanding subject. In particular, we review some fundamental concepts of systems biology and discuss the role of network modelling in understanding complex biological systems. Several commonly used network modelling paradigms are surveyed with emphasis on their practical use in systems biology research.     

Validation and discovery from computational biology models

Simulation software is often a fundamental component in systems biology projects and provides a key aspect of the integration of experimental and analytical techniques in the search for greater understanding and prediction of biology at the systems level. It is important that the modelling and analysis software is reliable and that techniques exist for automating the analysis of the vast amounts of data which such simulation environments generate. A rigorous approach to the development of complex modelling software is needed. Such a framework is presented here together with techniques for the automated analysis of such models and a process for the automatic discovery of biological phenomena from large simulation data sets. Illustrations are taken from a major systems biology research project involving the in vitro investigation, modelling and simulation of epithelial tissue.     

BioBayes: a software package for Bayesian inference in systems biology

MOTIVATION: There are several levels of uncertainty involved in the mathematical modelling of biochemical systems. There often may be a degree of uncertainty about the values of kinetic parameters, about the general structure of the model and about the behaviour of biochemical species which cannot be observed directly. The methods of Bayesian inference provide a consistent framework for modelling and predicting in these uncertain conditions. We present a software package for applying the Bayesian inferential methodology to problems in systems biology. RESULTS: Described herein is a software package, BioBayes, which provides a framework for Bayesian parameter estimation and evidential model ranking over models of biochemical systems defined using ordinary differential equations. The package is extensible allowing additional modules to be included by developers. There are no other such packages available which provide this functionality.     

Software for systems biology: from tools to integrated platforms

Understanding complex biological systems requires extensive support from software tools. Such tools are needed at each step of a systems biology computational workflow, which typically consists of data handling, network inference, deep curation, dynamical simulation and model analysis. In addition, there are now efforts to develop integrated software platforms, so that tools that are used at different stages of the workflow and by different researchers can easily be used together. This Review describes the types of software tools that are required at different stages of systems biology research and the current options that are available for systems biology researchers. We also discuss the challenges and prospects for modelling the effects of genetic changes on physiology and the concept of an integrated platform.     

Modularity of cellular networks shows general center-periphery polarization

The modular biology is supposed to be a bridge from the molecular to the systems biology. Using a new approach, it is shown here that the protein interaction networks of yeast Saccharomyces cerevisiae and bacteria Escherichia coli consist of two large-scale modularity layers, central and peripheral, separated by a zone of depressed modularity. This finding based on the analysis of network topology is further supported by the discovery that there are many more Gene Ontology categories (terms) and KEGG biochemical pathways that are overrepresented in the central and peripheral layers than in the intermediate zone. The categories of the central layer are mostly related to nuclear information processing, regulation and cell cycle, whereas the peripheral layer is dealing with various metabolic and energetic processes, transport and cell communication. A similar center-periphery polarization of modularity is found in the protein domain networks ('built-in interactome') and in a powergrid (as a non-biological example). These data suggest a 'polarized modularity' model of cellular networks where the central layer seems to be regulatory and to use information storage of the nucleus, whereas the peripheral layer seems devoted to more specialized tasks and environmental interactions, with a complex 'bus' between the layers.     

Animal models of human disease: zebrafish swim into view

Despite the pre-eminence of the mouse in modelling human disease, several aspects of murine biology limit its routine use in large-scale genetic and therapeutic screening. Many researchers who are interested in an embryologically and genetically tractable disease model have now turned to zebrafish. Zebrafish biology allows ready access to all developmental stages, and the optical clarity of embryos and larvae allow real-time imaging of developing pathologies. Sophisticated mutagenesis and screening strategies on a large scale, and with an economy that is not possible in other vertebrate systems, have generated zebrafish models of a wide variety of human diseases. This Review surveys the achievements and potential of zebrafish for modelling human diseases and for drug discovery and development.     

An evolving model of undirected networks based on microscopic biological interaction systems

With protein or gene interaction systems as the background, this paper proposes an evolving model of biological undirected networks, which are consistent with some plausible mechanisms in biology. Through introducing a rule of preferential duplication of a node inversely proportional to the degree of existing nodes and an attribute of the age of the node (the older, the more influence), by which the probability of a node receiving re-wiring links is chosen, the model networks generated in certain parameter conditions could reproduce series of statistic topological characteristics of real biological graphs, including the scale-free feature, small world effect, hierarchical modularity, limited structural robustness, and disassortativity of degree–degree correlation.     

Computational models of cells and tissues: machines, agents and fungal infection

Computational models have been of interest in biology for many years and have represented a particular approach to trying to understand biological processes and phenomena from a systems point of view. Much of the early work was rather abstract and high level and probably seemed to many to be of more philosophical than practical value. There have, however, been some advances in the development of more realistic models and the current state of computer science research provides us with new opportunities through both the emergence of models that can model seriously complex systems and also the support that modern software can give to the modelling process. This paper describes a few of the early simple models and then goes on to look at some new ideas in the area with a particular application drawn from the world of mycology. Some general principles relating to how new and emerging computational techniques can help to represent and understand extremely complex models conclude the paper.     

Icy: an open bioimage informatics platform for extended reproducible research

Current research in biology uses evermore complex computational and imaging tools. Here we describe Icy, a collaborative bioimage informatics platform that combines a community website for contributing and sharing tools and material, and software with a high-end visual programming framework for seamless development of sophisticated imaging workflows. Icy extends the reproducible research principles, by encouraging and facilitating the reusability, modularity, standardization and management of algorithms and protocols. Icy is free, open-source and available at http://icy.bioimageanalysis.org/.     

Unravelling the dynamics of organisms in a changing world using ecological modelling

Understanding and predicting the dynamics of organisms is a central objective in ecology and conservation biology, and modelling provides a solution to tackling this problem. However, the complex nature of ecological systems means that for a thorough understanding of ecological dynamics at hierarchical scales, a set of modeling approaches need to be adopted. This review illustrates how modelling approaches can be used to understand the dynamics of organisms in applied ecological problems, focussing on mechanistic models at a local scale and statistical models at a broad scale. Mechanistic models incorporate ecological processes explicitly and thus are likely to be robust under novel conditions. Models based on behavioural decisions by individuals represent a typical example of the successful application of mechanistic models to applied problems. Considering the data-hungry nature of such mechanistic models, model complexity and parameterisation need to be explored further for a quick and widespread implementation of this model type. For broad-scale phenomena, statistical models play an important role in dealing with problems that are often inherent in data. Examples include models for quantifying population trends from long-term, large-scale data and those for comparative methods of extinction risk. Novel statistical approaches also allow mechanistic models to be parameterised using readily obtained data at a macro scale. In conclusion, the complementary use and improvement of multiple model types, the increased use of novel model parameterisation, the examination of model transferability and the achievement of wider biodiversity information availability are key challenges for the effective use of modelling in applied ecological problems.     

Stochastic and deterministic multiscale models for systems biology: an auxin-transport case study

Background  

Stochastic and asymptotic methods are powerful tools in developing multiscale systems biology models; however, little has been done in this context to compare the efficacy of these methods. The majority of current systems biology modelling research, including that of auxin transport, uses numerical simulations to study the behaviour of large systems of deterministic ordinary differential equations, with little consideration of alternative modelling frameworks.     

Evolving a lingua franca and associated software infrastructure for computational systems biology: the Systems Biology Markup Language (SBML) project

Biologists are increasingly recognising that computational modelling is crucial for making sense of the vast quantities of complex experimental data that are now being collected. The systems biology field needs agreed-upon information standards if models are to be shared, evaluated and developed cooperatively. Over the last four years, our team has been developing the Systems Biology Markup Language (SBML) in collaboration with an international community of modellers and software developers. SBML has become a de facto standard format for representing formal, quantitative and qualitative models at the level of biochemical reactions and regulatory networks. In this article, we summarise the current and upcoming versions of SBML and our efforts at developing software infrastructure for supporting and broadening its use. We also provide a brief overview of the many SBML-compatible software tools available today.     

The emergence of scaling in sequence-based physical models of protein evolution

It has recently been discovered that many biological systems, when represented as graphs, exhibit a scale-free topology. One such system is the set of structural relationships among protein domains. The scale-free nature of this and other systems has previously been explained using network growth models that, although motivated by biological processes, do not explicitly consider the underlying physics or biology. In this work we explore a sequence-based model for the evolution protein structures and demonstrate that this model is able to recapitulate the scale-free nature observed in graphs of real protein structures. We find that this model also reproduces other statistical feature of the protein domain graph. This represents, to our knowledge, the first such microscopic, physics-based evolutionary model for a scale-free network of biological importance and as such has strong implications for our understanding of the evolution of protein structures and of other biological networks.     

Diagrammatic representations for modelling biological knowledge

The contemporary research and development context in multidisciplinary biology has a serious requirement for integrating knowledge from disparate sources, and facilitating much-needed inter- and intra-disciplinary dialogue. A multiplicity of models arises when pluralistic approaches to modelling are followed, and also when there is not only a requirement to model systems and data, but also knowledge of systems and data. The challenges of addressing this multiplicity do not only include articulating the structure of complex systems, but also placing modelling within the framework of a process as well as a product. The graph representations presented here facilitate dialogue, modelling, clarification and specification of concepts, and the sharing of terms. This paper explores relationships between collections of graph representations. It is hoped that in future, when readers look at a node or a process in a graph, they will have a much deeper appreciation of relationships and context.