Unraveling the regulation of mTORC2 using logical modeling
 Kirsten Thobe^{1, 2}Email authorView ORCID ID profile,
 Christine Sers^{3} and
 Heike Siebert^{1, 2}
https://doi.org/10.1186/s1296401601595
© The Author(s) 2017
Received: 4 October 2016
Accepted: 20 December 2016
Published: 19 January 2017
Abstract
Background
The mammalian target of rapamycin (mTOR) is a regulator of cell proliferation, cell growth and apoptosis working through two distinct complexes: mTORC1 and mTORC2. Although much is known about the activation and inactivation of mTORC1, the processes controlling mTORC2 remain poorly characterized. Experimental and modeling studies have attempted to explain the regulation of mTORC2 but have yielded several conflicting hypotheses. More specifically, the Phosphoinositide 3kinase (PI3K) pathway was shown to be involved in this process, but the identity of the kinase interacting with and regulating mTORC2 remains to be determined (Cybulski and Hall, Trends Biochem Sci 34:6207, 2009).
Method
We performed a literature search and identified 5 published hypotheses describing mTORC2 regulation. Based on these hypotheses, we built logical models, not only for each single hypothesis but also for all combinations and possible mechanisms among them. Based on data provided by the original studies, a systematic analysis of all models was performed.
Results
We were able to find models that account for experimental observations from every original study, but do not require all 5 hypotheses to be implemented. Surprisingly, all hypotheses were in agreement with all tested data gathered from the different studies and PI3K was identified as an essential regulator of mTORC2.
Conclusion
The results and additional data suggest that more than one regulator is necessary to explain the behavior of mTORC2. Finally, this study proposes a new experiment to validate mTORC1 as second essential regulator.
Keywords
Logical modeling mTORC2 regulation Cancer signalingBackground
The mammalian target of rapamycin (mTOR) is a highly conserved kinase across species, from yeast to humans, playing a central role in coordinating cell growth, metabolism and survival of the cell [1]. In the cell, mTOR acts as a signal integrator through two distinct complexes, mTORC1 and mTORC2, each phosphorylating distinct sets of substrates upon stimulation by growth factors, nutrients, hormones, stress, and other stimuli [2]. Dysregulation in these processes was found to be present in many cancer types, therefore understanding the structure and dynamics of mTOR regulation is of high interest [3, 4]. Although mTORC1 was the main focus of most studies so far, recent studies found mTORC2 playing an important role in cancer development, e.g. in HER2/PIK3CAhyperactive breast cancer [5]. The development of novel mTOR kinase inhibitors has already yielded interesting findings on mTORC1 and mTORC2, but in order to successfully apply these drugs in combined therapy, a detailed understanding of the signaling processes is essential and not yet achieved [6, 7].
Conflicting studies on mTORC2 regulation
In contrast to mTORC1, the processes that control mTORC2 are uncertain [12]. There are multiple studies investigating the influence of various kinases from the PI3K pathway on mTORC2 or components of its complex. Each of these studies is used as one hypothesis in our investigations: feedback independent regulation via RTK [13], activation by PI3K [14], positive feedback from Akt on mTORC2 [15], Tsc dependent regulation [16], and inhibition by mTORC1 [17].
Hypothesis 1: Feedback independent activation A feedback independent activation of mTORC2 was proposed by Dalle Pezze et al. [13], where they presented a datadriven ODE modeling approach investigating three different models: one model having Tsc as activator, a second model with only PI3K as activator and a third model where mTORC2 is regulated by an unknown kinase, which is independent from the negative feedback on PI3K [13]. Here, the authors used experimental design based on simulations of the models to find perturbation experiments that are able to distinguish between the different hypotheses. Thereby, the group was able to extract their final model as a feedback independent activation of mTORC2.
Hypothesis 2: Direct activation by PI3K An activation of mTORC2 by PI3K was proposed by two different groups. Gan et al. [14] claimed that it is known that PI3K via PIP_3 has two effects on Akt. First, it recruits the kinase to the plasma membrane and phosphorylates the protein at T308. Secondly, it regulates the S473 phosphorylation of Akt via mTORC2, but whether or not it directly interacts with the complex is unknown [14]. Therefore, the authors created an Akt mutant which is constantly bound to the plasma membrane and thereby dissecting the recruiting effect from PIP_3 from its potential activation of mTORC2. Although they were able to show that the regulation via the Akt mutant is still sensitive to PI3K inhibitors, the exact mechanism could not be clarified [14].
In a recent work by Liu et al. (2015) a regulation of mTORC2 by PI3K was claimed, where they observed molecular interactions between SIN1, Akt and PIP_3 [18]. Liu et al. (2015) suggested that SIN1 might act as gatekeeper in mTORC2, therefore they investigated its mechanistic interaction with mTOR. As a result, the experiments showed that an interaction of SIN1PH domain with the kinase domain of mTOR leads to a suppressed mTOR activity [18]. Since PH domains are characterized by their ability to bind PdtInsP _{ n } s, Liu et al. (2015) tested binding properties of different PdtInsP _{ n } s to SIN1PH. They showed that PIP_3 binds to the SIN1PH domain. Moreover, PIP_3 and SIN1 were shown to compete for binding with the kinetic domain of mTOR. Therefore Liu et al. (2015) claim that SIN1 binds mTORC2 blocking its activity and PIP3 then binds SIN1 to release the inhibition on mTORC2, then Akt can bind to be phosphorylated.
Hypothesis 3: Akt directly activates mTORC2 causing a positive feedback Another member of the PI3K pathway, Akt, was proposed to regulate mTORC2 by two studies from the James lab [15, 19]. First, Humphrey et al. presented a quantitative analysis of the insulin signaling network in adipocytes using mass spectrometrybased proteomics [19]. In particular, they suggested that SIN1 phosphorylation at T86 is insulin sensitive and that this regulation acts through Akt, due to its timing and Akt inhibitor response. Moreover, a recent paper from the same lab by Yang et al. showed the same effect on a molecular level in various cell types [15]. Here, they examined SIN1 phosphorylation at T86 upon Akt, mTORC1 and S6K inhibition, showing a reduced phosphorylation level only for Akt inhibition but not mTORC1 or S6K inhibition. They conclude that the activation of mTORC2 follows activation of Akt by T308 phosphorylation, then Akt phosphorylates SIN1 activating mTORC2, which itself then phosphorylates Akt at S473 for its full activation [15].
Hypothesis 4: Activation by Tsc2 Huang et al. [16] found that Tsc2, a component of Tsc, is required for mTORC2 activity by performing experiments with Tsc knockout Mouse Embryonic Fibroblast (MEFs). For various stimuli they showed that in these cells the phosphorylation of Akt at S473 is lacking, but can be recovered adding a vector that expresses human Tsc2 [16]. Due to the negative feedback of mTORC1 on PI3K, a decreased activity of mTORC2 in Tsc2 knockout cells can also result from constantly active mTORC1. In the paper, Huang et al. argue that the effect of the Tsc2 knockout can be separated from the feedback by looking at experiments with mTORC1 inhibition.
Hypothesis 5: Integrity of mTORC2 is regulated by mTORC1 via SIN1 phosphorylation In direct contradiction with the findings of Humphrey and Yang et al., Liu et al. (2013) claimed in an earlier paper that S6K or Akt phosphorylates SIN1 not only at T86 but also at T398 and thereby causes a dissociation of the mTORC2 complex resulting in its inhibition [17]. In this paper, HeLa cells and MEF cells were stimulated with either insulin or EGF and treated with various inhibitors mostly rapamycin but also S6K and Akt inhibitors. Moreover, SIN1 mutants with T96A and T398A genotype were used to mimic permanently nonphosphorylated SIN1 variants as well as knock outs.
Modeling of uncertain systems
In order to clarify the regulation of mTORC2, we use mathematical modeling to systematically analyze the proposed hypotheses from the literature. When modeling an uncertain system, one can either build a model based on assumptions or build every possible model that arises from the uncertainty to compare their performance. However, depending on the modeling formalism building every possible model can be computationally challenging, e.g. finding parameters for one ODE model is already a hard problem usually also rife with uncertainty. Here, we use a logical modeling workflow [20–22] to create and analyze possible topologies and mechanisms of biological systems. This formalism is able to capture qualitative effects of the interactions by analyzing basic behaviors, which was shown to deliver valuable results for signaling processes [23–25]. Other logical modeling approaches that incorporate uncertainty are available, e.g. CellNetOpt or an Answer Set Programing based approach by Videla et al. being similar to our tool [26, 27]. These tools differ in several aspects from our approach. In particular, both methods train models according to optimality criteria rather then considering the full set of consistent models, or focus on steady state responses.
For our approach, available information about the biological system is collected from literature and represented in a graph: components as nodes and interactions as edges. Then, the quality of this information is evaluated, where highly certain and textbook knowledge is considered to be essential and uncertain information is considered to be optional. For our model this means that interactions arising from essential information are identical in every model whereas optional interactions can be present or absent. In the graph, this evaluation is given by edge labels, such as for an activating interaction the essential label is + and for an optional edge we define it as not inhibiting ¬−, which means the edge is either absent in a model or it is activating.
The model is then formed by defining logical rules for every component of the graph describing the regulatory wiring of the incoming edges using logical AND or OR connections. In case a graph contains an optional edge, multiple models are build for either not containing that edge or containing it and then building every possible logical rule with it. Thus, building the set of all models, called model pool, is a combinatorial problem that grows with the number of optional edges. By simulating qualitative behavior of a model, we can compare the dynamics of each model to available data in order to find those models that are consistent with the data while eliminating others from the pool. Finally, the consistent models can be analyzed using specialized software in order to eliminate uncertainties and identify trends for further studies (for more details see “Methods” section).
Here, we identified 5 hypotheses for the regulation of mTORC2, which are translated to uncertain edges on mTORC2 and give rise to the model pool. Testing this pool for data from the original studies posing these hypotheses markedly reduced the size of the model pool. By analyzing this pool, we found that none of the hypotheses contradict the data from other studies, even though they intended to support a different hypothesis. Also, we found that some interactions are redundant and therefore not necessary for the model. Thus, we identified models with less than five edges that are valid for data sets from all original studies. Since biology is expected to be sparse, we sought the simplest mechanism by looking at minimal models. Such a minimal model is having PI3K as the only regulator of mTORC2, moreover we found this regulation to be essential.
The formalism allows for easy implementation of in silico experiments, which in turn can be exploited for wetlab experimental design. Formal analysis indicates that the feedback is a crucial factor for obtaining informative data. To illustrate this point, we propose and implement in silico a simple experiment that blocks the feedback. Exploiting the resulting data for the pool analysis shows that this experiment could validate mTORC1 as a second essential regulator additionally to PI3K, which is supported by recent publications.
Results
Model building from literature
For building a model of the mTORC2 regulation by signaling processes, we only included studies investigating direct interactions with the complex, excluding metabolic effects. We reduced the biological system to those components that are measured or perturbed in the studies we examined. The interactions between these components and their labels are also deduced from literature, where interactions that are widely accepted to be common knowledge are set to mandatory and uncertain interactions as optional (for more details on the formalism see “Methods” section). Here, the regulations within the PI3K pathway and the negative feedback are assumed to be known. However, the regulation of mTORC2 is unclear, thus all candidate interactions from RTK, PI3K, Akt, Tsc and mTORC1 are set as optional.
The regulations of the components are defined as functions according to the edge labels. For components that only have one regulator, the function can be directly derived from the edge label. For PI3K and Akt, the logical connection between the regulators needs to be deduced from biological knowledge. PI3K is activated by RTK and inhibited by IRS, where IRS binds and thereby blocks PI3K from interaction with other components including RTK. Thus, the logical connection is AND, since PI3K can only be active if RTK is active and IRS is not. The interactions from PI3K and mTORC2 on AKT are connected with a logical OR, because both are able to activate the component independently [8].
 1.
RTK indirectly regulates mTORC2, thus the regulation is insensitive to the negative feedback of mTORC1 on PI3K [13]. For our model, we included an activating edge from RTK to mTORC2 with the label not inhibiting.
 2.
PI3K directly activates mTORC2 [14, 18], thus we include an activating edge from PI3K to mTORC2 labeled as not inhibiting in our model as Hypothesis 2.
 3.
Akt activates mTORC2 by phosphorylation of SIN1 at T86 [15, 19]. For our model, Hypothesis 3 is a not inhibiting edge from Akt to mTORC2.
 4.
Tsc is required for mTORC2 activity shown in Tsc2 knockout cells [16], therefore we included this observation as Hypothesis 4 as a not inhibiting edge from Tsc to mTORC2.
 5.
A phosphorylation of SIN1 by S6K causes a disintegration of the complex [17], thus we included an inhibiting edge from mTORC1 on mTORC2 with the label not activating into our model.
In Fig. 2 these regulations are marked as green lines, meaning that we do not know whether these connections are functional. Thus, the logical function for mTORC2 is uncertain and we want to explore all possible models using the edge labels and known logical rules for the other components as constraints. For building the model pool, every topology of possible combinations of the 5 candidate edges is created, resulting in 32 topologies. Then, for every topology all truth tables, representing a logical function, are generated and subsequently selected for the pool if they agree with the constraints (for more detail see [20]). This process is computationally challenging, e.g. for a component with n optional incoming edges the upper bound of possible truth tables is \(2^{2^{n}}\). Using the software Tremppi [21], a model pool of 7581 models is determined.
Discretization of experiments from literature studies shows redundancy in data
Subsequently, data from the original studies were used to filter the model pool for those models that are in agreement with the experimental data. For this aim, we need to discretize this data to match the logical formalism and encode it to make it accessible for our software. The discretization method depends on the data type, e.g. quantitative values or western blot images (for detailed description see the “Methods” section). Here, we discretized data from each study which was included as a hypothesis for this investigation. Since the original studies have different levels of detail and used different methods to prove their hypothesis, we can only include a subset of the performed experiments here (see Discussion for more details). However, even though the papers claim different results, we found that many performed the same or similar experiments from a qualitative perspective.
Redundancy in experiments across different studies
PI3K inhibition  mTORC1 inhibition  Tsc knock out  Insulin stimulation  

Dalle Pezze et al.  Fig. 8a  Fig. 7a  Fig. 6a, b  Fig. 4a, b 
Gan et al.  Fig. 2a  
Liu et al. (2015)  Fig. 3d  Fig. 2d  
Humphrey et al.  Fig. 6b  
Yang et al.  Fig. 4c  Fig. 4a, b  Fig. 4b  
Huang et al.  Fig. 3a  Fig. 1a  Fig. 3  
Liu et al. (2013)  Fig. 1a  Fig. S4j 
In order to compare the data with the model dynamics efficiently, the discretized data needs to be encoded in temporal logics, here we used Computation Tree Logic (CTL). For this encoding, each measurement is defined as a state of the system that needs to be reached from the previous measurement. Additionally, the temporal interpretation of a state needs to be defined, meaning that the state can be an initial state, a transient state or a steady state (see “Methods” section). In the following, the discretized and encoded experimental data included in this study is described in brief.
We used timecourse measurements as well as knock down experiments from the study of Dalle Pezze et al. [13]. In detail, time series measurements of insulin stimulated HeLa cells for various proteins were done (see Fig. 4 in [13]). Here, we included data of the following components in our model: AktpT, AktpS, IRSpS, and S6KpT (see Table 2 T_4B). The data was discretized by mean value, then assigned to its designated readout. Here, RTK was added to the data set as a measured component to encode the stimulation over time. Finally, the sequence is encoded as CTL shown in Table 2 T_4B.
We also included data from the perturbation experiments from Dalle Pezze et al., where mTORC1 was inhibited by shRNA against Raptor in HeLa cells and the phosphorylation levels of Akt were measured 45 and 100 minutes after insulin stimulation (see Fig. 7 in [13]). The corresponding CTL formula in Table 2 T_7A contains RTK as active in the initial state due to insulin stimulation and the knock down of Raptor is encoded as setting the logical equation of mTORC1 to 0. We call this a fixed component. Moreover, we assume the signaling process to be in steady state, since there is no change even after 180 minutes observable.
The effect of PI3K inhibition on mTORC2 activation was studied by treating HeLa cells with different concentrations of the inhibitor Wortmannin, which directly blocks PI3K (see Fig. 8 in [13]). After stimulating the cells with insulin, inactive mTORC1 and mTORC2 was measured after 30 and 50 minutes, where the effect intensified with increasing concentration. The resulting CTL formula T_8A is shown in Table 1, where PI3K is fixed to zero due to the inhibition and the dynamics are assumed to be a fixpoint, since the behavior was stable over both time points.
Huang et al. used Tsc2^{−/−} Mef cells and treated them with various stimuli for 30 minutes to measured AktpS as well as S6KpT (see Fig. 1a in [16]). To encode the knock out, Tsc is fixed to zero and the stimulation is encoded as active RTK. These experiments lead to active mTORC1 but inactive mTORC2 after e.g. insulin stimulation, resulting in the CTL formula M_1A (see Table 2). The authors expected this behavior to be stable over time, therefore we encoded this measurement as a fixpoint.
Also, Huang et al. investigated the influence of the negative feedback on the signaling process. In Fig. 3b and c in [16], Tsc2^{−/−} Mef cells were treated with insulin for 15 minutes and AktpS, IRS and its binding to PI3K was measured. In the experiment, the phosphorylation of IRS by mTORC1 was measured showing a hyperphosphorylation due to the knockout in the mTORC1 inhibitor Tsc. In this hyperphosphorylated state of IRS the binding with RTK and PI3K disintegrates and PI3K becomes inactive, thus IRS is fixed to 1 in the CTL formula M_3BC. Additionally, they claimed that the impaired mTORC2 activity in Tsc2^{−/−} Mef cells was not caused by a constantly activated feedback through mTORC1 on PI3K [16]. They argued that the mTORC2 activity should be rescued upon mTORC1 inhibition causing a deactivation of the feedback, if PI3K would be the only activator. To show this, mTORC1 was knocked down using siRNA against Raptor and the cells were stimulated with insulin for 15 minutes. In Fig. 3b and c in [16], the binding of IRS to PI3K was restored, but the mTORC2 complex did not show any kinetic activity. For the CTL formula M_3BC2, Tsc and mTORC1 are fixed to zero. The data sets M_3BC/2 are examined separated from the other experiments, because 15 min measurements are usually not sufficient to assume a fixpoint. However, we are especially interested in the effect of the feedback on the dynamics of the models.
Additionally to the experimental data, we assume that without any stimulus the signaling system should reach an inactive steady state. This steady state represents the quiescence state of the biological system that is supposed to be fulfilled for the highly regulated growthfactor signaling in healthy tissue. Formally encoded, this means Triv_FP: EF(mTORC2=0 & Delta=0), Initial State: RTK=0.
Filtering for data reduced size of model pool Based on the data, we were able to fully determine the regulation for every component in the model only the regulation of mTORC2 remains to be elucidated (Fig. 2). Combining all possible logical functions from 5 optional edges under the given constraints gives rise to 7581 models, the set of which we call initial pool. In the next step, this pool is filtered by applying CTL formulas derived from the data in Table 2 as restrictions on the model pool using model checking. Thereby, the trajectories of each model are matched with the sequences defined by the CTL formulas and the model is rejected in case of a mismatch.
Applying CTL formulas to the pool reduced its size markedly
CTL:  /  Triv_Fp  T_4B  T_7A  T_8A  M_1A  M_3BC  M_3BC2  ExpD1  ExpD2 
# models:  7581  5573  5202  7413  2008  7413  5573  168  2008  5573 
:  Red.pool: 944  944  0  310  634 
Model pool analysis
In oder to gain information about the influence of the applied data on the pool, we need to analyze the pools. Although filtering for the data reduced their size markedly, they are still too large to analyze them by hand. Therefore, we employ a statistical approach first, following up with an exact analysis.
Strong influence of PI3K regulation shown in statistical analysis In a first step, we evaluated both the reduced and the initial pool statistically using the software Tremppi [28], which is an efficient model checker tool developed for these applications. In the statistical analysis, we want to identify edges that are enriched or underrepresented in the filtered pool in comparison to the initial pool, since this difference is strongly implied by the data [22]. For this purpose, two measures are estimated: (i) frequency of an edge and (ii) its impact. For (i), the frequency of appearance of an edge across the pool is counted and divided by the pool size. The higher the frequency, the more models require the considered edge to be present. Then in (ii) the impact of the regulator on its target is calculated as correlation coefficient in the range [1,1] between source and target component in every model, where 1 means fully inhibiting, 1 is fully activating and 0 means no influence. The impact is the averaged correlation across the pool. A high impact indicates that the regulator across all models in the pool has a strong influence on the behavior of the target, since their states are highly correlated.
Minimal model corresponds to Hypothesis 2 Despite the fact that the statistical evaluation is able to give us important information about the changes in the pool composition, it does not give information about explicit models. Thus, we used a second model checking tool called TomClass [29], which groups the models into classes according to defined features. Since we are interested in the topology of models and their dynamical behavior, we defined the features as: number of edges, validation for the CTLs, and present hypotheses. Then all models that are equal with respect to these features are grouped in one class, which in our setup means, models in one class share the same topology and behavior towards the checked CTLs, and only differ in their logical equation.
Figure 3 shows all 994 models in the Red.pool containing models with less than 5 edges. However, adding up the size of classes with 5 edges, it becomes clear that more than 90% of the models contain 5 edges as is expected, since the more regulators are available the easier the model can be fitted to the data. Moreover, we can say that all hypotheses are in agreement with the data, since every hypothesis is present in at least one model, even when only considering the models with less than 5 edges. In detail, 3 edges are necessary for all hypotheses to be present, for 2 edges models with pairwise combinations of mTORC1, RTK and PI3K are observed and only PI3K appears as possible single regulator. Thus, the minimal model, meaning the lowest numbers of mTORC2 regulators, corresponds to Hypothesis 2. Surprisingly, this edge is present in every model in the pool and therefore seems to be essential for the model dynamics to match the data. Thus, although all hypotheses are able to match the data, not all of them are necessary to be present.
Analysis of additional data set causes conflict We were especially interested in a data set by Huang et al., since they claimed to show an effect on mTORC2 that can be separated from the feedback affecting IRS and PI3K [16]. Two CTL formulas, M_3BC and M_3BC2, were extracted from this data set and applied both first as transient measurements. As a result, both formulas were in agreement with every model in the pool, since reaching one state is too easy for these very similar models in the pool (data not shown). Although the measurement time point was 15 minutes and therefore usually does not qualify for a steady state assumption, we tested the data as hypothetical fixpoints. Then, M_3BC was met by many models in the pool and the intersection with the Red.pool did not result in a further reduction of the pool (see Table 3).
However, the second formula M_3BC2 led to a strong reduction in the pool size with only 169 out of 7581 being in agreement. When calculating the intersection with the Red.pool, the result is an empty set, caused by a direct conflict with T_7A. Therefore, our model does not support the conclusions drawn in the original paper (we will resolve this in more depth in the Discussion).
Experimental design
The idea of the experiment in Huang et al. to disrupt the feedback for dissecting the processes in the cascade and their effect on mTORC2 led us to propose a new experiment. For this experiment, we want to eliminate the negative feedback, e.g. by mutating the target phosphorylation side in IRS such that IRS maintains its function as mediator of the signal from RTK to PI3K, but S6K cannot phosphorylate and inhibit PI3K. In such a system, a standard experiment would be to stimulate the receptor with insulin and measure the mTORC2 activity by AktpS levels.

ExpD1: EF(mTORC2=0 & Delta=0),
Initial State: RTK=1, Fix: IRS=0,

ExpD2: EF(mTORC2=1 & Delta=0),
Initial State: RTK=1, Fix: IRS=0.
Experiments split the pool for mTORC2 behavior The CTL formulas split the initial pool as well as the Red.pool in two groups, showing that every model reaches a fixpoint (Table 3). In both cases, the pool for ExpD1 is roughly half the size of ExpD2 with 310 to 634 models for the intersection with the Red.pool, called Red.ExpD1 and Red.ExpD2 respectively.
In contrast, the analysis of Red.ExpD1 identifies mTORC1 as second essential regulator, which is illustrated in the graph in Fig. 4. Here, the difference between Red.ExpD1 and the initial pool shows an increase in frequency and impact for PI3K regulation, but it also displays a overrepresentation of mTORC1 inhibition of mTORC2. Furthermore, RTK is underrepresented in the difference graph and has a negative impact (Fig. 4). In Red.ExpD1, the minimal model contains PI3K and mTORC1 as dual regulators for mTORC2, for three regulators every other hypothesis is possible (Fig. 4 a). Thus, the data set ExpD1 identifies a dual regulation of mTORC2 by PI3K and mTORC1 proposing an experiment to clarify this point.
Discussion and conclusion
In this study, we used a logical modeling approach to investigate the uncertain regulation of mTORC2 by PI3K signaling. We were able to show that PI3K itself is necessary for mTORC2 activation, but the regulation is likely to be more complex. By enumerating all possible models arising from the state of the art literature, we systematically tested this pool of models for published data and analyzed the valid subpools. For analyzing these subpools, we first compared the reduced pools to the initial pool statistically. We were able to find enriched and underrepresented hypotheses, but with a seemingly rather low significance.
The explanation for this issue is given by the exact analysis, where we observed that there is a bias towards models with many edges, i.e. more than 90% of models in the pool have 5 edges. There are two reasons for this bias: combinatorics and overfitting. When building the model pool, every possible logical expression is generated, where the number of combinations increases with the number of optional incoming edges. For a component with 2 regulators, the upper bound of possible truth tables is \(2^{2^{2}}=2^{4}\) and for 5 regulators it is \(2^{2^{5}}=2^{36}\). Also, the more regulators are allowed in a model the easier it is to produce complex dynamics, which is a common problem of overfitting.
More than 90% of the models of the initial and the specific pools have 5 edges, thus in the statistical analysis the difference for the frequency is only influenced by a maximum of 10% of the models. The impact also is biased by these models, since the impact automatically is split upon all regulators leading to a low impact in models with 5 edges. However, having 4 or even 5 kinases regulating one protein is unlikely. So even low values must be considered to uncover important trends. These are then validated in the second exact analysis to explicitly look at the minimal models of the pools.
In the exact analysis, models are grouped according to their number of optional edges. The analysis revealed that none of the hypotheses can be rejected, but require multiple edges to explain all data (see Fig. 3). On one hand this fact is surprising, because the original studies claimed different hypotheses for the mTORC2 regulation. On the other hand, the models are very similar and the data we used for filtering the pool coincided with experiments from other studies after discretizing, thus discriminating between the models is hard.
Issue of selecting experimental data from studies We only used a subset of the performed experiments, which are not necessarily the most weighty arguments in the studies. Here, we examined basic qualitative effects which cannot capture observations from experiments including specific manipulations of single components, such as mutating a phosphorylation site, or dosedependent effects. For example, most data of Gan et al. contain an Akt mutant bound to the membrane which cannot be represented in our system without changing the model. Moreover, the level of detail varies among the studies, such that we selected a level of abstraction shared by all studies, e.g. we cannot include experiments with mutated SIN1, since we cannot represent a partial knockdown of mTORC2.
The experimental setups between the studies differ, from cell types to treatments and methods. Most experiments used insulin as stimulus whereas the other studies used EGF. A very interesting data set from Liu et al. (2013) showed a transient deactivation of mTORC2 for EGF on a small timescale (0 to 60 mins) (Fig. 3d in [17]), but for insulin this effect was only observable on a largetime scale (> 60 mins) (Fig. 3b in [17]). For such long timescales it is questionable whether the observed effect is caused by signaling processes or might involve other processes outside the model boundaries. Also, EGF stimulation mainly activates the MAPK cascade, which is known to have crosstalk effects on PI3K signaling [30]. In order to maintain a minimum level of comparability we do not use data with EGF stimulus. Nevertheless, the redundancy in the qualitative behavior in the experiments we observed in Table 1 affirms the comparability of the selected data sets.
Another data set we found to be interesting is from the study of Huang et al., which claimed to show a PI3Kindependent effect on mTORC2 [16]. Here, the setup and the measured components fitted our model, so we build two different CTL formulas, M_3BC and M_3BC2, for two observations. However, the issue with this data set was that it is a single measurement after 15 minutes of stimulation, thus it is not a steady state measurement. In general, many modeling formalisms require a steady state assumption. Although we are able to test both transient states and fixpoints, testing the reachability of one transient state is easy to fulfill by the models, thus every model was valid for the transient version. For this reason, we also tested both data sets also as hypothetical fixpoints of the system.
Comparison to original studies The analysis in Fig. 3 revealed that PI3K is an essential regulator across all models in the filtered pools, which matches the results of Hypothesis 2 by Gan et al. even though we did not use any data from that study directly. Also, this finding supports a recent study from Yang et al. [15], where they suggested PIP_3 to act as a scaffold protein for the interaction between mTORC2 and Akt.
Comparing our results with the paper of Dalle Pezze et al., we sought for qualitative similarities and differences between the studies, since their investigations partially overlap with our studies. Since we included their final model as Hypothesis 1, we can say that our results do not rule out the existence of Hypothesis 1. In particular, the data sets from Dalle Pezze et al. T_4B, T_7A and T_8A do not exclude Hypothesis 1, thus there is no direct contradiction between the studies. Also their data sets have a large overlap with observations from other papers (see Table 1). However, we only used a subset of their data, since they measured the activity of mTORC2 by the phosphorylation of mTOR at S2481, for which there is a discussion on whether it is a unique readout for the activity of the complex [31–34]. Also, for fitting the models to the data, Dalle Pezze et al. added an unknown kinase, which is assumed to also phosphorylate Akt at S473 and thereby could substitute mTORC2.
Another interesting aspect is that Dalle Pezze et al. identified a PI3K variant as mTORC2 regulator, because it is sensitive to Wortmannin, but cannot be PI3K itself due to insensitivity to the negative feedback [13, 35]. This insensitivity was observed in a knockdown experiment for Raptor, where the phosphorylation of mTORC2 did not decrease upon feedback disruption. However, Raptor knockdown deactivates mTORC1, thus it also disrupts a potential inhibition by S6K on mTORC2. Therefore, our results propose an alternative solution for the PI3K variant by having PI3K and another second regulator. Consequently, it would be very interesting to build an ODE model to be able to directly compare our models to Dalle Pezze et al. and to include quantitative information into the study.
Finally, the study of Huang et al. tested the behavior of mTORC2 in Tsc2^{−/−} Mef cells, where we selected three data sets. M_1A was the basic observation showing an impaired mTORC2 activity for the knock out, which was in agreement with almost all models in the initial pool (see Table 3). The data sets, M_3BC and M_3BC2, were not included in the Red.pool, but tested separately. The first formula, M_3BC, was in agreement with Red.pool showing that there is no more additional information contained in that data. The second formula, M_3BC2, which was the main observation of Huang et al., resulted in no intersection with the Red.pool since it directly conflicts with the formula T_7A.
In the experiment, they tested whether an inhibition of mTORC1 can recover the activity of PI3K on mTORC2, since it deactivates the negative feedback. Huang et al. argue that this recovery was not observed, thus they conclude that PI3K cannot solely regulate mTORC2. For this purpose, a lot of perturbations were done, Tsc knock out, Raptor knock down, stimulation, but all these actions directly affect a possible regulator of mTORC2, therefore the expressiveness of the data is limited. To address this issue, we wanted to find an experiment that does not manipulate any of the hypothesized regulators of mTORC2, but gives more information about the feedback independent processes.
Identification of regulatory mechanisms requires deactivation of feedback There are two major reasons, why the exact regulation of mTORC2 by the PI3K pathway is hard to identify: (i) the candidates are within one signaling cascade and (ii) the negative feedback from mTORC1 on PI3K. From the first fact the problem of very short time windows arises, where a kinase becomes active without activating its downstream target, which is also a kinase. Producing data that is able to dissect the activity of kinases in a chain reaction is hard. A possible solution is to block the cascade at different levels using inhibitors as shown in Table 1, but due to the negative feedback this treatment affects all components in the pathway.
For this reason, we proposed an experiment, where the target phosphorylation sites of the negative feedback on IRS are mutated. In detail, S302, S307 and S632 are causing a reduced signaling through PI3K when phosphorylated [36], therefore these serine residues would need to be substituted to e.g. alanine. When stimulating these mutants with insulin, we predicted two different outcomes for mTORC2, which splits the model pool in two groups for active and inactive mTORC2 in steady state. Analyzing the resulting model pools that agree with the data from the first analysis in the Red.pool, we found no clear pattern for Red.ExpD2 having active mTORC2 (Fig. 4 b). In contrast, Red.ExpD2 shows mTORC1 as a second essential regulator.
The edge from mTORC1 was reported by Liu et al. in form of a dual phosphorylation at Thr 86 and Thr 398 of the mTORC2 component SIN1. Whether or not these phosphorylations lead to mTORC2 inhibition [17] or for Thr 86 to activation by Akt as claimed by Humphrey et al. [19] is unclear, due to conflict of data [37]. Since Akt also regulates mTORC1, it remains to be clarified whether this effect is direct or indirect. Also, further studies on the exact mechanism through which modifications of SIN1 affect the mTORC2 activity are necessary [37]. Still, the modifications of SIN1 suggest that a regulation by PI3K alone might not be realistic.
Moreover, in a recent summary Yuan et al. [38] propose a dual regulation of mTORC2, with PIP_3 as scaffold and recruiter as well as S6K as inhibitor, which matches our result from the experimental design pool Red.ExpD2. This finding is also supported by a recent study in C2C12 myoblasts using ODE modeling, where a regulation by PIP3 and S6K is proposed [39].
These considerations show that a potentially interesting next step could be to construct more detailed models in terms of modeling formalism or resolution of components, like mTORC2, to increase comparability and more fully exploit the available data. Such a study could lift our qualitative results to a more quantitative understanding of the mechanism of regulation of mTORC2.
Methods
In this paper, an approach for systematically analyzing uncertain biological systems by logical modeling is used. For this aim, background on workflow, formalism and tools are given as well as information about data processing.
Modeling uncertain systems
The generic model pool might contain models that are not consistent with data from literature studies. Therefore, this data is formalized and compared with the dynamical behavior of every model in the pool. This process can be computationally expensive, since the number of models can quickly add up to thousands of models. For this reason, a tailored model checking software for efficient analysis is employed, which filters and evaluates the specific pool, i.e. Tremppi [21] and TomClass [20].
Background on logical modeling In this paper, Boolean networks are used, where components can adopt the value 0 for inactive and 1 for active state. The topology of a regulatory system is described as a directed graph R={V,E,l}, where the components V={1,…,n} are represented as nodes, the interactions E⊆VxV are represented as edges and marked with edge labels l:E→L adapted to the definition from [20]. L is a set of formulas with + for activating and − for inhibiting edge sign, describing the effect of the regulator through that edge on its target. Here, we assign the label + or − to edges of known interaction from literature that were always observable with an activating or inhibiting effect, respectively. The label ¬+ (¬−) is assigned to uncertain edges meaning there were contradicting studies in literature showing inhibiting (activating), but in other studies no effect.
Then for each component a function \(f: \mathbb {B}^{n} \to \mathbb {B}=\{0,1\}\) is defined that specifies the impact of all regulators on its target according to the edges labels (more details see [20]). In case there is more than one regulator controlling a component, logical operators define the connection between them, i.e. ∧ for logical AND connection, ∨ for logical OR and ¬ for logical negation. Finally, a model contains one unique function for every component. Since some components have uncertainty in their edge labels and regulatory mechanisms, there exists more than one possible function. Thus, every combination of functions across all components give rise to the model pool.
A system state \(X= (x_{v}) \in \mathbb {B}^{n}\) describes the value of each component v∈V of a model. Then, the dynamical behavior is derived from by the functions f using an update to define the transitions between states. Here, we employ an asynchronous update to the functions [40], where only one component is changed at a time, which usually results in nondeterministic behavior but includes good matches for biological behavior.
Discretization and formal encoding of data In order to apply constraints from data to reduce and validate a model pool, the data is discretized to match the logical formalism. The process of discretization is a strong simplification that comes with a loss of information especially for quantitative data, but can reduce the effects of noise in data. However, the qualitative effects, such as activation or inhibition of a component, as well as highlevel behavior, such as stability, are preserved. Therefore, the data is processed in two steps: (i) discretization of the data and assignment to the designated readout component, and (ii) formalization of temporal observation such as time series data.
(i) For discretizing data points into two states, a threshold needs to be defined. In case there is quantitative information available, different methods can be applied to find a threshold, such as mean or median [41]. For qualitative data, measurements are usually interpreted relative to a control measurement. If a measurement is ambiguous, it is excluded from the study. Since the activity of a protein kinase can be measured by the phosphorylation of its target, we define the presence of target phosphorylation as readout of the activity of a component.

EF(X): is a CTL operator exists finally. This states that on some path from an initial state the X holds true at some point.

Delta=0: states that no change is possible, i.e. we are in a steady state.

v=b: where \(\texttt {v} \in V, \texttt {b} \in \mathbb {B}\) states that value of a component v is set to b.

Initial state: is a list of boolean constraints on the values of the components. A state is considered initial, if all the constraints are satisfied.

Fixed component: constrains the listed components to the assigned values for the whole path. This property allows for modeling knockouts and stimuli.
Declarations
Acknowledgements
We would like to thank Christina Kuznia and Katinka Becker for constructive discussions.
Funding
The work was partially funded by the German Federal Ministry of Education and Research (BMBF), projects MoSTNet with grant no. 0316195 and MAPTorNet with grant no. 031A426.
Availability of data and materials
Not applicable.
Authors’ contributions
KT designed study; acquired, analyzed and interpreted data; implemented computations; drafted the manuscript. CS participated in discussion, interpreted data, and revised the manuscript. HS participated in conceptualization and discussion, interpreted data, reviewed and revised manuscript. All authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Ethics approval and consent to participate
Not applicable.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.
Authors’ Affiliations
References
 Laplante M, Sabatini DM. mTOR signaling in growth control and disease. Cell. 2012; 149(2):274–93.View ArticlePubMedPubMed CentralGoogle Scholar
 Zoncu R, Efeyan A, Sabatini DM. mTOR: from growth signal integration to cancer, diabetes and ageing. Nat Rev Mol Cell Biol. 2011; 12(1):21–35.View ArticlePubMedGoogle Scholar
 Cybulski N, Hall MN. TOR complex 2: a signaling pathway of its own. Trends Biochem Sci. 2009; 34(12):620–7.View ArticlePubMedGoogle Scholar
 Courtney KD, Corcoran RB, Engelman JA. The PI3K pathway as drug target in human cancer. J Clin Oncol. 2010; 28(6):1075–83.View ArticlePubMedPubMed CentralGoogle Scholar
 Chen Y, Qian J, He Q, Zhao H, ToralBarza L, Shi C, Zhang X, Wu J, Yu K. mTOR complex2 stimulates acetylCoA and de novo lipogenesis through ATP citrate lyase in HER2/PIK3CAhyperactive breast cancer. Oncotarget. 2016; 7(18):25224–40.PubMedPubMed CentralGoogle Scholar
 Dowling RJ, Topisirovic I, Fonseca BD, Sonenberg N. Dissecting the role of mTOR: lessons from mTOR inhibitors. Biochim Biophys Acta Protein Proteomics. 2010; 1804(3):433–9.View ArticleGoogle Scholar
 Ilagan E, Manning BD. Emerging Role of mTOR in the Response to Cancer Therapeutics. Trends in Cancer. 2016; 2(5):241–51.View ArticlePubMedGoogle Scholar
 RodrikOutmezguine VS, Chandarlapaty S, Pagano NC, Poulikakos PI, Scaltriti M, Moskatel E, Baselga J, Guichard S, Rosen N. mTOR kinase inhibition causes feedbackdependent biphasic regulation of AKT signaling. Cancer Discov. 2011; 1(3):248–59.View ArticlePubMedPubMed CentralGoogle Scholar
 Long X, Lin Y, OrtizVega S, Yonezawa K, Avruch J. Rheb binds and regulates the mTOR kinase. Curr Biol. 2005; 15(8):702–13.View ArticlePubMedGoogle Scholar
 Huang K, Fingar DC. Growing knowledge of the mTOR signaling network. In: Seminars in Cell & Developmental Biology. Elsevier: 2014. p. 79–90.Google Scholar
 Guertin DA, Stevens DM, Thoreen CC, Burds AA, Kalaany NY, Moffat J, Brown M, Fitzgerald KJ, Sabatini DM. Ablation in mice of the mTORC components raptor, rictor, or mLST8 reveals that mTORC2 is required for signaling to AktFOXO and PKC α, but not S6K1. Dev Cell. 2006; 11(6):859–71.View ArticlePubMedGoogle Scholar
 Gaubitz C, Prouteau M, Kusmider B, Loewith R. TORC2 Structure and Function. Trends Biochem Sci. 2016; 41(6):532–45.View ArticlePubMedGoogle Scholar
 Dalle Pezze P, Sonntag AG, Thien A, Prentzell MT, Gödel M, Fischer S, NeumannHaefelin E, Huber TB, Baumeister R, Shanley DP, et al. A dynamic network model of mTOR signaling reveals TSCindependent mTORC2 regulation. Sci Signal. 2012; 5(217):25–5.View ArticleGoogle Scholar
 Gan X, Wang J, Su B, Wu D. Evidence for direct activation of mTORC2 kinase activity by phosphatidylinositol 3,4,5trisphosphate. J Biol Chem. 2011; 286(13):10998–1002.View ArticlePubMedPubMed CentralGoogle Scholar
 Yang G, Murashige DS, Humphrey SJ, James DE. A positive feedback loop between Akt and mTORC2 via SIN1 phosphorylation. Cell Rep. 2015; 12(6):937–43.View ArticlePubMedGoogle Scholar
 Huang J, Dibble CC, Matsuzaki M, Manning BD. The TSC1TSC2 complex is required for proper activation of mTOR complex 2. Mol Cell Biol. 2008; 28(12):4104–15.View ArticlePubMedPubMed CentralGoogle Scholar
 Liu P, Gan W, Inuzuka H, Lazorchak AS, Gao D, Arojo O, Liu D, Wan L, Zhai B, Yu Y, et al. Sin1 phosphorylation impairs mTORC2 complex integrity and inhibits downstream Akt signalling to suppress tumorigenesis. Nat Cell Biol. 2013; 15(11):1340–50.View ArticlePubMedPubMed CentralGoogle Scholar
 Liu P, Gan W, Chin YR, Ogura K, Guo J, Zhang J, Wang B, Blenis J, Cantley LC, Toker A, et al. PtdIns (3, 4, 5) P3dependent activation of the mTORC2 kinase complex. Cancer Discov. 2015; 5(11):1194–209.View ArticlePubMedPubMed CentralGoogle Scholar
 Humphrey SJ, Yang G, Yang P, Fazakerley DJ, Stöckli J, Yang JY, James DE. Dynamic adipocyte phosphoproteome reveals that Akt directly regulates mTORC2. Cell Metab. 2013; 17(6):1009–20.View ArticlePubMedPubMed CentralGoogle Scholar
 Klarner H, Streck A, Šafránek D, Kolčák J, Siebert H. Parameter identification and model ranking of Thomas networks In: David G, Monika H, editors. Computational Methods in Systems Biology. Berlin Heidelberg: Springer: 2012. p. 207–26.Google Scholar
 Streck A, Thobe K, Siebert H. Analysing cell line specific EGFR signalling via optimized automata based model checking In: Roux O, Bourdon J, editors. Computational Methods in Systems Biology. Springer: 2015. p. 264–76.Google Scholar
 Thobe K, Streck A, Klarner H, Siebert H. Model integration and crosstalk analysis of logical regulatory networks In: Mendes P, Dada JO, Smallbone K, editors. Computational Methods in Systems Biology. Springer International Publishing: 2014. p. 32–44.Google Scholar
 Wang RS, Saadatpour A, Albert R. Boolean modeling in systems biology: an overview of methodology and applications. Phys Biol. 2012; 9(5):055001.View ArticlePubMedGoogle Scholar
 Samaga R, SaezRodriguez J, Alexopoulos LG, Sorger PK, Klamt S. The logic of EGFR/ErbB signaling: theoretical properties and analysis of highthroughput data. PLoS Computat Biol. 2009; 5(8):1000438.View ArticleGoogle Scholar
 Grieco L, Calzone L, BernardPierrot I, Radvanyi F, KahnPerlès B, Thieffry D. Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput Biol. 2013; 9(10):1003286.View ArticleGoogle Scholar
 Terfve C, Cokelaer T, Henriques D, MacNamara A, Goncalves E, Morris MK, van Iersel M, Lauffenburger DA, SaezRodriguez J. CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst Biol. 2012; 6(1):1.View ArticleGoogle Scholar
 Videla S, Guziolowski C, Eduati F, Thiele S, Gebser M, Nicolas J, SaezRodriguez J, Schaub T, Siegel A. Learning Boolean logic models of signaling networks with ASP. Theor Comput Sci. 2015; 599:79–101.View ArticleGoogle Scholar
 Streck A, Siebert H. Tremppi 1.0.0. 2015. http://dibimath.github.io/TREMPPI/. Accessed 4 Oct 2016.
 Klarner H. Contributions to the Analysis of Qualitative Models of Regulatory Networks: Freie Universität Berlin; 2014. http://www.diss.fuberlin.de/diss/receive/FUDISS_thesis_000000098522.
 Will M, Qin ACR, Toy W, Yao Z, RodrikOutmezguine V, Schneider C, Huang X, Monian P, Jiang X, De Stanchina E, et al. Rapid induction of apoptosis by PI3K inhibitors is dependent upon their transient inhibition of RASERK signaling. Cancer Discov. 2014; 4(3):334–47.View ArticlePubMedPubMed CentralGoogle Scholar
 Copp J, Manning G, Hunter T. TORCspecific phosphorylation of mammalian target of rapamycin (mTOR): phosphoSer2481 is a marker for intact mTOR signaling complex 2. Cancer Res. 2009; 69(5):1821–7.View ArticlePubMedPubMed CentralGoogle Scholar
 Manning BD. Comment on A dynamic network model of mTOR signaling reveals TSCindependent mTORC2 regulation: building a model of the mTOR signaling network with a potentially faulty tool. Sci Signal. 2012; 5(232):3–3.View ArticleGoogle Scholar
 Dalle Pezze P, Sonntag AG, Shanley DP, Thedieck K. Response to Comment on A Dynamic Network Model of mTOR Signaling Reveals TSCIndependent mTORC2 Regulation: Building a Model of the mTOR Signaling Network with a Potentially Faulty Tool. Sci Signal. 2012; 5(232):4–4.View ArticleGoogle Scholar
 Soliman GA, AcostaJaquez HA, Dunlop EA, Ekim B, Maj NE, Tee AR, Fingar DC. mTOR Ser2481 autophosphorylation monitors mTORCspecific catalytic activity and clarifies rapamycin mechanism of action. J Biol Chem. 2010; 285(11):7866–79.View ArticlePubMedGoogle Scholar
 Sonntag AG, Dalle Pezze P, Shanley DP, Thedieck K. A modelling–experimental approach reveals insulin receptor substrate (IRS)dependent regulation of adenosine monosphosphatedependent kinase (AMPK) by insulin. FEBS J. 2012; 279(18):3314–28.View ArticlePubMedGoogle Scholar
 Gual P, Le MarchandBrustel Y, Tanti JF. Positive and negative regulation of insulin signaling through IRS1 phosphorylation. Biochimie. 2005; 87(1):99–109.View ArticlePubMedGoogle Scholar
 Xie J, Proud CG. Signaling crosstalk between the mTOR complexes. Translation. 2014; 2(1):28174.View ArticleGoogle Scholar
 Yuan HX, Guan KL. The SIN1PH Domain Connects mTORC2 to PI3K. Cancer Discov. 2015; 5(11):1127–9.View ArticlePubMedPubMed CentralGoogle Scholar
 Bertuzzi A, Conte F, Mingrone G, Papa F, Salinari S, Sinisgalli C. Insulin Signaling in Insulin Resistance States and Cancer: A Modeling Analysis. PloS ONE. 2016; 11(5):0154415.View ArticleGoogle Scholar
 Thomas R. Regulatory networks seen as asynchronous automata: a logical description. J Theor Biol. 1991; 153(1):1–23.View ArticleGoogle Scholar
 Dimitrova ES, Licona MPV, McGee J, Laubenbacher R. Discretization of time series data. J Comput Biol. 2010; 17(6):853–68.View ArticlePubMedPubMed CentralGoogle Scholar