Efficient reengineering of meso-scale topologies for functional networks in biomedical applications

The health care systems of western ageing societies suffer from a continuously increasing frequency of complex diseases, such as cancer, metabolic syndrome, auto immune diseases or diseases of the central nervous system. In contrast to infectious diseases, all these diseases are characterized by a dysfunction of the biological regulation systems of patients. They cannot be reduced to single root causes and we still lack a sound mechanistic understanding of even the un-diseased function of the relevant regulatory systems. Consequently little progress has been seen in drug research and there are no ‘silver bullets’ for cancer or Parkinson’s disease as compared to antibiotic therapy of microbial infections. In all complex systemic diseases the medical need is still very high. Despite the deluge of genome or proteome data accessible today, the extraction of biologically relevant information is an open challenge. On the background of the estimated cost of $ 1,000 for sequencing of an individual human genome, this challenge was named the ‘one-million-dollar-interpretation’.

Despite steadily increasing investments into drug research and development operations and the introduction of novel technology platforms like high throughput and high-content screening, up to date the output of novel, effective drugs for complex diseases is not only low but shows a continuous downturn. As a direct consequence of this lack of R&D efficiency, the average investment for research and development per drug newly approved by the regulatory agencies already exceeds $ 1,000 mil. From project initiation to marketing authorization, a normal Pharma R&D project takes more than 10 years. Even worse, up to 83% of the drug candidates which are successful in pre-clinical tests fail in the clinical development phase where the drug candidate is tested in human volunteers and patients, and a still significant proportion fails in the most expensive late pivotal trials.

High attrition rates in clinical development are an important contributor to the overall costs of novel drugs. Our inability to predict these failures is, at least partially, caused by the lack of tools which allow the prediction of the efficacy in patients based on lab and pre-clinical animal data.

This situation is mainly caused by the lack of understanding of the mutual interactions of the biological entities which are involved in disease development as well as in drug action. Neither the combinatorial effects of abiotic stress, genotype variations and drug action nor the induced long term stress response of the cells on drug action can be predicted. In consequence, this lack of predictive models leads to unexpected adverse drug reactions or insufficient efficacy of the drugs which are observed in the late clinical trials at high costs. Thus, efficient network re-engineering methods leading to reliable predictive models would have a tremendous economic impact.

Over the last years it has been shown that biological entities such as proteins or genes show a strong interaction in order to guarantee the survival of the cells. The respective interaction networks show a small world topology [1] leading to strongly cooperative effects which are not fully understood.

Moreover, the biological processes controlling drug efficacy or development of diseases are based on networks of heterogeneous, yet interacting, biological functionalities. Modelling and prediction of the efficacy of drugs will therefore require the re-engineering of the respective functional networks, which are far less understood than the protein-protein interaction networks. The established methods for unravelling of biological networks are based on combinatorial optimization and statistical algorithms [2]. Despite significant progress in network reengineering of small and medium-sized networks [3], for large-scale networks the one-step methods suffer from the exponential increase of complexity with the number of involved functionalities. So far, the established methods for complex processes are far from being satisfactory or from being ready for use in a standardized workflow of any industrial R&D processes.

For these reasons the development of efficient tools allowing the systematic re-engineering of functional biological networks from the massive deluge of data which is available today will be crucial for the future of the pharmaceutical and biotech industry.

In order to overcome the complexity gap of a direct network re-engineering approach, our approach aims to establish an efficient meso-scale network re-engineering procedure. In order to reduce size and complexity of detailed network models, meso-scale modelling aims to lump sub-processes and sub-networks to ‘effective’ functional nodes without loosing the accuracy of the overall model. Meso-scale models provide an interpolation between detailed and black box models representing the dominating functionalities by ‘effective’ input-output models, connected by their interactions [4, 5]. Based on the meso-scale structure, the network may be decomposed into small, separate sub-networks which can be directly re-engineered with significantly lower complexity. So far, meso-scale network re-engineering may provide a step towards efficient multi-scale network re-engineering workflows. In this paper we will describe novel mathematical approaches which allow the efficient re-engineering of network topologies for biomedical applications from high-throughput data. In contrast to one-step combinatorial methods using minimization of residuum functionals, the novel meso-scale network reengineering approach is based on the functional or algebraic structures of input-output functions of the entire system. These structures can be identified from modern high throughput experimentation facilities. They are numerically less demanding than the combinatorial optimization approaches and show improved stability with respect to small errors in the data due to the focus on the meso-scale network topology only.

We will first describe a direct approach for reengineering of the structure of hierarchical functional networks. Hierarchical functional networks allow the establishment of models linking data and functionalities from heterogeneous levels of a system structure. It has been shown that combining data from the genome and the physiology level in a systematic approach can result in significantly improved predictions of ‘macroscopic’ biological phenotypes [6, 7].

We will then develop a method for the reengineering of meso-scale structures for non-hierarchical networks, which allow to model cooperative interaction on a homogeneous level of the system structure, for example, phosphorylation of signalling proteins in response to external stimuli and inhibition.

The identification of quantitative models f linking biological stress factors and molecular markers, such as mutations on the genome, with macroscopic biomedical phenotypes plays a crucial role for a broad range of applications in biomedicine. This requires the identification of a quantitative model describing the readout y as a function f depending on multivariate input variables $\underline{x}:y=f(\underline{x})$, $y\in \Re$, $\underline{x}\in {\Re }^n$, $n\gg 1$. The readout y shall quantify the observed reaction of a biological system in response to biotic or abiotic stress factors as well as molecular markers of the system, which are quantified by the input variables represented by the components of $\underline{x}$. For these applications, it is not necessary to map the detailed biological mechanisms in the model. It is sufficient to develop the so called biomarker models representing only the overall input-output relation of the system. Examples arising in drug research or biotechnology are:

The straightforward approach for biomarker identification uses machine learning algorithms such as support vector machines, neural networks or logic models [8]. These so-called black-box approaches provide algorithms which allow the construction of quantitative input-output relations from data for all sufficiently smooth functions without any mechanistic understanding of the underlying mechanisms. The drawback of black-box approaches, however, is that the data demand increases (in the worst case) exponentially with the dimension of the input variables $\underline{x}$ (curse of dimensionality). In biomedical applications, where the number of input variables (for example, genes, mutations or proteins) can easily exceed 10⁴, this approach can result in unaffordable data demands. It is therefore a fundamental challenge for mathematics to develop modelling approaches which allow a systematic combination of a priori mechanistic knowledge and black box algorithms in order to provide tools with a controlled ratio between the demands on a priori knowledge and data.

Suppose the system under consideration is controlled by n input variables $\underline{x}\in \Omega \subseteq {\Re }^n$ and produces one output variable $y=y(\underline{x})=:{\Re }^n\to \Re$. The input-output relation of the system can be modelled using black-box approaches where no a priori knowledge with respect to the system is required. However, black box modelling suffers from a data demand increasing exponentially with the number of input variables, which has therefore been called the ‘curse of dimensionality’ [9]. Although it has been shown [10] that restrictions on the input-output functions can reduce the data demand significantly, the tremendous dimensionality of biological data sets lead to unsatisfactory results yet. Improved modelling approaches, compared to the pure black box modelling, are urgently required here.

In functional network models the system is decomposed into interacting sub-systems which are characterized by their input-output behaviour described by the set of functions $\underline{u}(\underline{x})$, where the function representing a node l depends only on a subset of components of $\underline{x}$: $u^l=u^l({\underline{x}}^l)$, ${\underline{x}}^l\in {\Re }^{m_l}\subset {\Re }^n$, $m_l<n$. Each input-output function $u^l$ can be represented by a given mechanistic model or, alternatively, by a black-box model. The mutual interaction of the sub-systems is represented by a directed graph S, the nodes of which represent the sub-systems and the edges the respective input and output variables. In neural networks the input-output functions of the nodes are fixed up to a small set of parameters and the structure S is used for the adaption to the data. In contrast, in functional networks the structure S is fixed and the input-output functions of the nodes are fit such that the overall model represents the data (Figure 1a, b).

Functional networks show highest benefits if the systems can be decomposed into sub-systems which are controlled by a few input and output variables, whereas the mechanisms inside the functionalities show a significantly higher interaction between the components. A functional network thereby provides a meso-scale model for the systems with significantly reduced complexity.

Such functional networks can always be established, if the system to be modelled consists of well-defined subsystems and the connections between the subsystems are known. Various industrial applications have been realized successfully [11–14], and software implementations are available as well.

The analysis of the properties of functional networks goes back to Hilbert’s 13th problem, which was solved by Vitushkin [15]. He found that the so-called Vitushkin-Entropy of a functional network allows the decision whether all functions depending on n variables can be represented or only a constrained set of functions. However, he did not discuss the consequences for modelling and network reengineering.

If S is of tree structure, it has been shown before [4, 5] that for all such functional networks there are low-dimensional manifolds $M\subset {\Re }^n$ such that it is sufficient to measure data in a $U_{\epsilon }$-environment of M to in order to identify the model properly. Such manifolds M are called data bases. The same authors have proven that the minimal dimension of data bases is equal to the maximum number of input edges of any black-box node in the network. Moreover, almost all differentiable, monotonic submanifolds $M\subset \Omega$ with $dim(M)=$ maximum number of input variables in a black box node have (at least locally) the properties of a data base. Additionally, direct as well as indirect identification procedures have been analysed and implemented in software [13].

This result is based on the structure of S which guarantees that, despite all nodes in S may be black box models, the overall functional network model cannot represent any smooth function $y=y(\underline{x})$ depending on n input variables. Now we show that this intrinsic property of hierarchical functional networks is a specific property of the topology of S and allows, if large enough data sets are available, a direct reconstruction of the topology of S from data.

where $u_l$ is the input-node of $x_i$. The term ${\partial }_i{P}_i$ represents the product of the partial derivatives of the functional nodes along the path $P_i$ with respect to $x_i$. Let $P_{ij}$ be the common part of the paths $P_i$ and $P_j$, then it holds ${\partial }_i{P}_{ij}={\partial }_j{P}_{ij}$.

for all triplets $i,j,k\in [1,\dots ,n]$ where $x_i$ and $x_j$ are inputs to the same node, whereas $x_k$ is the input to another node.

Generalizing this argument, we show that S is associated with an even larger set of structural PDEs that $y(\underline{x})$ has to satisfy. Now let the root and rank be defined as follows:

Definition 1 Node k shall be the root $T_{ij}$ of the input variables $x_i$ and $x_j$, if the pathways from $x_i$ to the output of the entire system z and from $x_j$ to y join for the first time in node k. As in tree structures the pathways from each input variable to the output are unique, all pairs of input variables will have a unique root.

The rank $\mathit{Rg}(k)$ of a node k shall be given by the length of the path from k to the output z of the entire system. In tree structures each node will have a unique rank.

Then, in tree structures with n input variables $x_i$ and one output variable y the following theorem holds:

Theorem 1 (Structure-Constraint Theorem)

are equivalent.

Remark Eq. (3a) is a special case of the structure-constraint theorem, where $\mathit{Rg}(T_{ij})$ is maximal.

Proof For all triplets i, j, k satisfying (ii) the pathways $P_i$, $P_j$ and $P_k$ must be at least partially disjoined. As (ii) is satisfied, each of the pathways can be decomposed into three components with specific overlaps:

(4a)

On the other side, if (i) holds, then we can find a decomposition of the respective pathways $P_i$, $P_j$ and $P_k$ according to eq. (4a) and (4b), resulting in (ii). □

Based on the Structure-Constraint Theorem, the structure S of the functional network can be unravelled from the data as follows:

The direct network identification algorithm provides a very efficient approach to hierarchical network reengineering. It is superior to one-step reengineering approaches which need the minimization of an error functional of residues, which leads to a highly nonlinear, combinatorial optimization problem. As the algorithm can be generalized to discrete variables, it may be an efficient method for the analysis of next generation sequencing data when large data sets will be available. However, its drawbacks are the existing limitation to tree structures as well as the required estimates for condition (i) which is an ill-posed problem. Further research will be necessary for the development of stable routines which can be applied by non-experts in a standardized workflow.

Intracellular signalling networks provide a mechanism for regulating cellular crosstalk and gene transcription. Protein phosphorylation plays the dominant role in activation of cellular signalling. Development of an efficient modelling and simulation of the response of signalling protein phosphorylation on multiple, complex combinations of stimuli and inhibitors is crucial for improved research for targeted drugs and may play an important role in systematic development of direct reprogramming of cells in future. Moreover, insight into the structure of mutual protein-protein interactions can provide direct information into multifactorial stimulation-response relations which are crucial for experimental design in drug research and therapies. The reconstruction of a stimulation-inhibition network between signalling proteins will lead to a significantly improved benefit compared to direct response modelling of individual proteins.

The established network reconstruction algorithms for reconstruction of signalling networks using phosphorylation data in response to external stimuli typically solve a combinatorial, mixed-integer optimization problem in order to minimize the error of a network-based signalling model with given experimental data. Nodes represent target proteins and edges (connections between nodes) represent the cascade direction of stimulated protein phosphorylation. However, if the number n of network nodes increases, then the number of potential networks to be analyzed will increase at least exponentially with n. Thus, any algorithm using an exhaustive search analyzing all possible networks with n nodes will become impractical even at modest n. Since most mechanisms which are relevant for applications involve multiple pathways and their crosstalk, there is a need for algorithms which avoid the pitfalls of detailed network reengineering in only one step.

In order to avoid computationally exhaustive one-step searches, network reconstruction has been tackled by others using a variety of methods, such as heuristic combinatorial optimization algorithms [17], efficient linear programming algorithms using sparsity constraints [3] or Boolean network modelling [18]. The interaction models describing the transfer of stimulation and inhibition across the network can be binary, logarithmic or kinetic (as in Michaelis-Menten models). These approaches are motivated by the kinetics of protein activation and lead to good fits for protein phosphorylation in terms of stimulation and inhibition [19]. However, this approach requires the explicit integration of all ‘hidden’ proteins unaccounted for in the network, but which are likely involved in the entire signalling mechanism of the network model, even if their phosphorylation status is not experimentally available. Moreover, depending on cellular status, the structure of the network may change, such that only subsets of proteins are expressed. Therefore, a fine-grained model may provide very detailed insight, however it requires networks with very high complexity. Moreover, as proteins may be taken into account whose phosphorylation levels have not been measured, the direct network reengineering algorithms may become ill-posed hampering the stability and numerical efficiency of the network reconstruction. Additionally, incorrect signal transfer models along edges can result in unstable network models as well.

We here present an algorithm which allows direct extraction of topological meso-scale features of a functional network using combinatorial stimulation-inhibition data without dynamic information. The concept is based on the functional network re-engineering concept (as described above), but the focus is on the development of additional modules in order to overcome the drawbacks of the hierarchical network reconstruction algorithm in the special case of signalling network reengineering from stimulation-inhibition data.

In this case, a functional network refers to a group of inter-dependent protein kinases and their associated level of activation by phosphorylation status. The motivation is threefold: First to establish a hierarchical, reengineering approach for networks on a coarse-grained level, second to describe the system response upon multiple stimulations and inhibitions of the network proteins and third, to describe co-regulation by a network of minimal complexity. The resulting network allows for network-resolution adjustment based on available data and provides a starting point for further, more detailed, network reengineering with less computational complexity. Moreover, since we restrict on patterns that focus strictly on induced sub-networks where experimental data are available and which are expressed in the cells, we avoid complications from uncertainties and assumptions as seen in detailed, fine-grained model quantification.

Since both drug research and cellular engineering rely on the identification of targets as potential points of pathway inhibition, we represent the coarse-grained (or large-scale) network by inhibition-induced network topology. Two topological features will be analyzed in detail:

Our approach is based on the observation that the topology of interaction networks connecting stimuli and targets induces characteristic patterns with relation to a function which quantifies the combinatorial stimulation-activation. In contrast to direct reconstruction we use the model as a ‘model-based filter’ in order to reconstruct the coarse-grained network topology. The advantage of this intermediate filtering step is that we can establish a tight balance between the ‘coarseness’ of the network reconstruction and the statistics of error minimization. Moreover we can reduce redundancies thus enabling us to avoid a large net error in network reconstruction.

Since the model is based on direct pattern identification within a network, it provides an efficient method to identify functional interaction or crosstalk between stimulation pathways (also referred to as ‘structures’) which can be used to define constraints for more detailed network reconstruction. Since this functional structure of stimulation and inhibition is derived from data, it provides direct insight into the network structure expressed by cells given their respective microenvironment and/or disease status.

As a full reengineering of functional networks without tree structure is not available, the meso-scale reengineering approach will be focused on the extraction of various specific topological features of the signalling network which induce detectable structural signals in the stimulation response functions, without claim for completeness. The overall network has to be established by combination of the identified topological substructures.

where $x_i\equiv \mathit{stimulus}i$ ($\text{applied}=1$, $\text{none}=0$) and $y\equiv \mathit{inhibitor}$ (active = 1, none = 0). Thus, if the stimulus i is applied on the cell, $x_i=1$, and if the inhibitor is active, $y=1$, otherwise the respective values are set to zero. The activation function, F, represents the dependence of the stimulation response function (SRF), z, on the stimuli and inhibitors. The baseline value of F is normalized to zero if no stimuli and no inhibitors are applied.

where η≡ effect of inhibition on the extent of phosphorylation, ${\gamma }_I\equiv$ effect of stimulation in the wildtype protein (without inhibition) on the extent on the phosphorylation (with respect to the baseline). If the experiments cover all combinations of stimuli and inhibitors from $k=1,\dots ,m$, then all coefficients of F up to interactions of order m can be estimated from the data. In each experiment coefficients will be ‘active’ (and contribute to the phosphorylation, F) only if all stimuli $x_{i_1}\dots x_{i_k}$ are applied. Hence, if the experiments cover linear and binary combinations of stimuli only, with and without inhibitors, the terms ${\gamma }_i$, ${\gamma }_{ij}$, ${\eta }_i$, ${\eta }_{ij}$ can be identified from the experiments using standard linear estimators as the universal representation of the activation function F.

We will now show that the algebraic structure of the coefficients contains structural information regarding the interaction of functional pathways between stimuli and inhibitors.

Theorem 2 (Downstream sub-network topology identification)

with a strictly monotonic function h, (where $h(0)=0$ since no stimulus will always lead to the baseline level of stimulation), then the data are consistent with a functional network where the pathways from the receptors (for all stimuli in S) to the protein merge together before any effect from the inhibitor on these pathways becomes relevant (Figure 2a, b).

Proof All combinations of stimuli from S generate a combinatorial subset containing all coefficients γ, such that the respective sprays represent the outcomes of all (possible) stimulation experiments with respect to the stimuli in S. However, even for moderate numbers of stimuli not all possible combinations will be realized even in experimental high-throughput settings. Let us now denote $G_S$ to be the set of all available γ representing combinations of stimuli from S. Sorting the elements of $G_S$ with respect to size leads to a monotonic sequence $G_S^{\prime }$ representing the ordered stimulation intensities from S without inhibition. If we additionally apply an inhibitor (that is, $y=1$), then the ordered sequence $G_S^{\prime }$ may be rearranged due to (possibly multiple) interactions between the inhibitor and the functional nodes which are involved in signalling of the stimulation towards the phosphorylated protein (Figure 3a). If all pathways from the stimuli to the protein merge upstream of a ‘merger’ node (Figure 2b), then the activation of the ‘merger’ node will be a monotonic function $F(G_S)$ representing the overall activation by all stimuli. Therefore any inhibition downstream of the ‘merger’ node will affect only the overall activation, such that the ordered sequence $G_S^{\prime }$ will not be affected by the inhibition. Then there will be a monotonic function h such that the quantitative effect of the inhibition on the stimulation of the protein can be expressed as before (Figure 3b). If, comparing the same stimuli with and without inhibition, the data show that the sequence $G_S^{\prime }$ is not permuted by the application of the inhibitor, then the phosphorylation data with inhibition can be explained by only one inhibition mode acting on the entire set of pathways from all stimuli in S towards the protein.

However, the inverse is not guaranteed: For any finite set of stimuli, small inhibitions may occur which do not change the sequence of order of stimulation, even if the inhibition acts upstream of the merger node. However, if the sequence $G_S^{\prime }$ is rearranged by the impact of the inhibitor, then the inhibitor must affect pathways upstream of the merger node. □

As discussed, if the sequence $G_S^{\prime }$ is not rearranged by inhibition, other models may be possible as well. However, all other models will be more complex. According to Occam’s razor we assume that the model with minimum complexity should be used as the first working hypothesis.

The zero-shift a vanishes as we set the shifts for all proteins to zero if no stimulation is applied. Then the parameter b quantifies the damping (if $b<1$) or increasing (if $b>1$) of the protein phosphorylation sensitivity with respect to the stimulations from the stimuli in S. This way we get quantitative, direct information on the impact of the inhibitor upon the cellular response to external stimuli.

Corollary 2 If the stimulated phosphorylations z of a protein satisfy Theorem 2 for all stimulations (S contains all stimuli, as depicted in Figure 3b, in contrast to Figure 3a), then the respective inhibition acts downstream of any ‘merger’ nodes where all stimulations join together. The inhibition may even act directly on the protein and not on intermediate functionalities along the signalling pathways between the receptors of the stimuli and the protein.

The advantage of this approach is the identification of structural features within the stimulation-inhibition network through combinations of either stimulation and/or inhibition. In contrast to the established network reengineering algorithms from dynamic data, which require time course measurements of phosphorylation, this approach utilizes static data. Even if dynamic data are unavailable, it allows functional network reengineering. If dynamic data are available, allowing a time resolution, then theorem 2 will hold as well. However, the time resolution may provide additional information with respect to the signalling network which cannot be unravelled by the stationary method described above.

Additionally, such an approach can be used to establish future models for clinically relevant applications where dynamics are slow such as lagging cellular responses to stimuli and inhibitors. Moreover, we can reconstruct these structures without any assumptions about the intermediate signalling network expressed in the cell or assumptions about signalling transfer mechanisms. Since we use only pathways or sub-networks that are directly extracted from data without any combinatorial optimization, it provides an efficient method to generate constraints needed to improve the stability and reliability of detailed network reconstruction approaches.

We can conclude that the parameters ${\gamma }_i^k$, ${\eta }_i^k$ are mutually inclusive within the structure of the sub-network k. The parameters $a_1\dots a_m$ describing the overall activation of the various sub-networks can then be extracted by using linear models to fit the data. However, due to the low dimensionality of the ‘effective’ model parameter space spanned by the parameters $\underline{\gamma }$, the direct feature extraction may become highly unstable, except where the parameter set $\{a_k\}$ is sparse or the parameters ${\underline{\gamma }}^k$, ${\underline{\eta }}^k$ representing the sub-models show highly restricted variability.

If none of the exceptions hold, the sub-network which is affected by the inhibitors can still be identified if the action of inhibitors is decomposed into a non-sparse component acting downstream of crosslinks of all stimulation pathways and sparse upstream contributions.

If only a few sub-networks are affected by the inhibition, then the set $\{{\eta }_{i_1\cdots i_l}\}$ will be sparse, thus reducing the complexity of the parameter identification problem as well.

If the functional pathways from the stimuli and inhibitors towards the proteins coincide for protein groups $G_1\dots G_m$, then the responses of the proteins inside each group will coincide for all stimulations up to an individual sensitivity of each protein. The respective SRF’s are expected to show a high degree of mutual correlation.

In order to identify the respective protein groups, the correlation between SRF’s of proteins k and l on the stimuli from group $\Gamma :h_k(\Gamma ),h_l(\Gamma )$ can be used:

Corollary 3 If the stimulation response functions $h_k(\Gamma )$, $h_l(\Gamma )$ are correlated, then the functional pathways from the stimuli of the respective stimulation group S to the proteins k and l join in one control node (Figure 4a, b).

The stimulation of protein clusters with high mutual correlation of phosphorylation under a given set of stimuli is expected to depend on a joint functional node as shown in Figure 4a. The number of functional nodes (control nodes) controlling the entire protein network under a given set S of stimuli is equal to the number of correlation clusters.

In order to identify dominant stimulation pathways for each signalling protein, we assume that pathways with no affection on a protein do not significantly contribute to the respective activations (phosphorylation response). If a stimulus $S_i$ (or set of stimuli) can be identified where, for all types of inhibition, the amount of the induced (or decreased) phosphorylation is significantly less than for the rest of the stimuli (both for the single-stimuli experiments as well as for the two-stimuli experiments where the stimulus $S_i$ is involved), then we claim that this $S_i$ does not affect the protein.

For each signalling protein and each type of stimulation a set of three p-values are calculated to indicate the difference between the impact of the stimulus $S_i$ and the other stimuli. They allow the identification of either a dominant stimulus for a protein or, in contrast, that a stimulus does not affect the protein. As in our experimental setting only three independent dominating stimuli (for any protein) could be found, only six double-stimuli combinations could be analyzed leading to poor statistics. In order to achieve more stable results we therefore used all three tests as described above as an input to a weighted mean between the logarithms of the three p-values. This step can be omitted if more combinations are available.

Using p and Q-values, stimuli can be classified as either inactive or dominant. Inactive stimuli may display a mean p-value less than 0.05 and a negative Q-value whereas dominant stimuli display p-values less than 0.05 and positive Q-values (the other stimuli were set as inactive).

In this paper we describe direct network reengineering approaches which avoid the drawbacks of the established one-step network reengineering methods for networks with medium and high complexity. We show that the functional structure of the input-output functions of the entire system provides information with respect to the meso-scale topology of the functional network which is responsible for the behaviour of the system. Direct reengineering of the network topology using the functional structures of the input-output functions provides a mean to establish meso-scale network models which may be used as start point of further detailed models. So they can help to overcome the complexity issues of the existing approaches.

Although the algorithm for reengineering of the full network topology, presented in the first section of this paper, requires hierarchical tree structures, we have shown on the example of reengineering of signalling networks from protein kinase phosphorylation that the basic concept can be applied in a broad range of applications if problem specific adjustments are developed.

Protein kinase phosphorylation and dephosphorylation is critical in maintaining intracellular homeostasis and largely determines the cellular phenotype. The cellular environment can trigger intracellular phosphorylation signalling cascades to make needed adjustments, often through gene transcription. Cells showing deregulated phosphorylation due to protein misfolding, genetic mutations or other factors display aberrant phenotypes. Network re-engineering may serve as a useful tool in the elucidation and discovery of phosphorylation regulatory mechanisms as well as in the validation of observed cellular phenotypes.

We have presented adjustments of the rigorous network reengineering approach which allow the unravelling of important topological features of the functional network describing the interference of multiple stimuli and inhibitors on the global and sub-network scales. The approach is based solely on algebraic structures between the coefficients of multi-linear models as well as clustering, which can be effectively estimated from data. It therefore avoids some drawbacks of combinatorial network reconstruction approaches: the strong increase of computational efforts with network size as well as uncertainties with respect to the signalling transfer modes and ‘hidden’ signalling proteins. The meso-scale network topology may provide a starting point for further, more detailed network reengineering algorithms helping to improve their computational performance.

Combinatorial stimulation-inhibition analysis using a direct functional reengineering approach can aid in rapidly unravelling stable information about the coarse-grained structure of large-scale drug action from high throughput screening experiments. Future work in this area has the potential to provide more insight into the complex interactions between drug action and mutations in the signalling protein network in order to improve the R&D processes in pharmaceutical and biotech industry.