Visual setup of logical models of signaling and regulatory networks with ProMoT
BMC Bioinformatics volume 7, Article number: 506 (2006)
The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to analyze large signaling and regulatory networks using this formalism. Even though there is a large number of tools to set up models describing biological networks using a biochemical (kinetic) formalism, however, they do not support logical models.
Herein we present a flexible framework for setting up large logical models in a visual manner with the software tool ProMoT. An easily extendible library, ProMoT's inherent modularity and object-oriented concept as well as adaptive visualization techniques provide a versatile environment. Both the graphical and the textual description of the logical model can be exported to different formats.
New features of ProMoT facilitate an efficient set-up of large Boolean models of biochemical interaction networks. The modeling environment is flexible; it can easily be adapted to specific requirements, and new extensions can be introduced. ProMoT is freely available from http://www.mpi-magdeburg.mpg.de/projects/promot/.
The analysis of regulatory mechanisms using Boolean formalisms is an important technique , and has been successfully applied to systems of moderate size, e.g. [2–4]. Furthermore, a tool (GINSim) has been developed to set up and analyze logical networks .
Recently, new techniques based on a logical formalism – in combination with graph-theoretical methods applied to the underlying interaction graph – have been proposed for the analysis of large-scale signaling and regulatory networks . These methods have been implemented in CellNetAnalyzer (CNA), allowing structural analysis of large networks within a GUI .
In CNA, the user should provide a graphical map of the network, a mathematical (textual) input of the network structure, and a mapping from the latter to the earlier. However, the procedure for setting up large-scale networks by hand, of both the graph and text, can be a cumbersome and error-prone task. There are many tools available to set up models describing signaling networks as a biochemical reaction network, such as CellDesigner, JDesigner, and ProMoT [8–10]. However, to the best of our knowledge, there is currently no tool available that allows the visual setup of large logical networks, and has the ability to export both the mathematical model and the graphical representation together. Note that GINSim allows to define visually the elements of a network and their connections, but the detailed logical information must be included via textual rules.
Therefore, we have extended the abilities of ProMoT  to fill this gap. First, we setup a library of basic logical elements (compound, and, not, etc.), which also possess properties that contain additional information. Subsequently, we developed a visualization component that allows the user to customize the representation of the logical model. Finally, we created exports in several formats which provide an input for analysis packages. In the following, we describe briefly these developments and show their applicability via a toy model, as well as using a realistic large model of T-cell signaling recently published .
All aspects of this work are implemented in ProMoT . ProMoT itself consists of two main units, the kernel (written in Lisp) and the GUI (written in Java), which are interfaced via a CORBA middleware (see Figure 1). The kernel contains the memory-representation of the models and can read and write storage formats. The GUI is designed for visually constructing models (via the Visual Editor) and for the interactive exploration and further visual alteration of an existing model (via the Visual Explorer). Additionally, models can also be setup via ProMoT's modeling language MDL (Model Definition Language). The modeling elements are organized in a modeling library and can be re-used. ProMoT supports the development of modules as classes in an object-oriented inheritance hierarchy. ProMoT has been used so far for developing structured dynamic models based on differential-algebraic equations in the fields of System Biology and Process Engineering. These models can be simulated in Matlab or our own simulation environment DIANA. Additionally for biochemical models an import and export option for the Systems Biology Markup Language (SBML) is implemented. For the logical networks, a new type of models has been added to ProMoT. The model definition and handling works in the same way as for the dynamic models, only the respective modeling libraries and the output system are specific for logical interaction hypergraphs as defined in .
The structure of the ProMoT implementation with the multiple output formats allows to use the features of different analysis and simulation tools without the need of reimplementing the models. Also the graphical representation and editing can be applied in almost the same way for the different kinds of models, which makes it easier for the modelers.
The Visual Explorer is a new feature of ProMoT that provides a versatile visualization. It uses several ZUI (Zoomable User Interface) functionalities of the Piccolo toolkit . Thus, highly interactive and adaptive visualization can be created to represent large and complex logical networks and facilitate their convenient exploration. The visualization is altered applying the concept of visual scenarios (for more details see section Visualization). A tutorial with a detailed explanation on how to install ProMoT accompanies this paper (see Additional File 1), as well as ProMoT'source code (see Additional File 2).
Definition of a library of basic elements
There are two main classes in the modeling library, compound (representing an state), and gate (defining a logical interaction between compounds). Applying ProMoT's object-oriented modeling paradigm , subclasses of a certain class can be easily defined. For example, we have defined subclasses of the class compound (e.g. receptor, kinase, adapter, and reservoir), which are all mathematically equivalent to compound but can be specifically considered in the later visualization process (see Figure 2).
To define different logical connections among the elements we subclassed the class gate into activ (to describe a causal one-to-one relation between two compounds), and (to define the requirement of several elements to active a certain compound), and not (to express a negative effect, i.e., an inhibition). AR Or gate can be implemented by including several activ elements pointing at a certain compound. Since any logical connection can be described as a combination of ANDS, ORS, and NOTS, the set of basic elements described above allows to set up any logical network of arbitrary size. In addition, to describe cases where the logic is unclear , we have also included the class somehow which represents logical gates with partially incomplete truth tables.
Finally, the classes input and output allow to define the incoming and outgoing signals of the model, respectively.
Properties can be easily added to the different classes. For example, we have defined parameters for the default value and time-scale , which are exported with the model. Multiple levels (i.e., discretizing the states into more than two (0,1) levels) is also implemented using the properties of the gates. Inputs and outputs of all gates posses a parameter (with default value 1) encoding the level: the parameter of the input defines which state must reach the start node to activate the target, and the parameter of the output the level the target will reach (see Figure 3). Additionally, all elements have a documentation, which can also be exported with the model.
Exploiting the modularity
ProMoT allows to set up models in a modular manner . This unique property can be used to define different submodules, either physically delimited (e.g. the nucleus, see Figure 2) or comprising a particular submodel (e.g. the machinery of the cell cycle regulation). The modules can be reused. For example, a module of the ubiquitous MAPK Cascade may appear in several models or several times in one model. So, it is only required to set up this module once and then use it several times, facilitating and speeding up the building procedure.
The elements described above enables a precise setup of a mathematical model, but the representation is certainly not biologically intuitive. Since the models are characterized by many components and interactions, visualization aspects are of great importance . We tackle this issue with scenario-based visualization techniques (compare Figure 2 left and right) implemented in the Visual Explorer, a new component to the GUI of ProMoT (see Figure 1 and Section Implementation).
A visual scenario describes a set of mapping functions that define the visual properties of elements (shape, size, color, etc.). In this manner the visualization of the entire network can be adapted towards a more biological meaning and/or user's preferences. The biological intuitiveness is realized by (1) aggregation of all modules and hierarchies in a single visualization, (2) hiding of elements that are necessary for the mathematical description but without a clear biological interpretation, and (3) altering the visual properties of certain elements to achieve a biologically more intuitive representation.
The following examples illustrate the process of designing a biological motivated representation of the model, and the resulting map is depicted in Figure 2 (right side). Elements of the class not are hidden, and the corresponding information (that a certain influence has a negative effect) is coded in the color of the line. Another class specifically treated is the reservoir. Elements of this class are used when several pools of a molecule are considered. This is a common situation, for example, if two subsets of a certain molecule with distinct properties, typically a different localization in the cell or different regulation, are to be modeled. For example, in the toy model there are two pools for the kinase k3, k3p1 and k3p2, which are regulated differently. In this case, a 'reservoir' is included which is required for the activation of both pools. This allows simultaneous knock-outs of both pools, but this is also a mathematical entity without a clear biological interpretation. Hence, elements of the class reservoir are automatically hidden, and the line connecting them to the corresponding pools is dashed. In this way, the mathematical information (there is a reservoir present) is maintained in the graphical representation, but coded in such a way that it is not confused with other kind of information.
The visual scenario including the visual properties of the elements can be easily edited using a setup dialog. For example, an alternative representation, matching different preferences, is depicted in Figure 4.
Generation of models for analysis
As mentioned before, ProMoT does not perform the analysis of the models, but instead generates input for analysis packages like CellNetAnalyzer (CNA), see Figure 5. In this process the model classes, generated by the user, get instantiated. Since analysis packages usually don't consider modularity and structure, only the flat network of leafnode elements in the model, defined in the modeling library, are extracted. Even though for the model setup the user can construct complex classes in a hierarchical manner, for the export only a network based on the basic elements that the analysis tools can handle (compounds and gates) can be exported. These leafnode elements and their connections are translated to the input format of the analysis software, based on their mathematical semantics and specific parameters given by the user. Additionally, in the case of tools which support a graphical interface, graphics and layout informations can also be generated.
Even though there has recently been an initiative to define a XML format for boolean networks – GinML, see , – there is currently no established standard for logical networks: SBML only supports kinetic models. Therefore, we have first implemented the generation of input for CNA (see Table 1 and 2) and some other simple formats such as a transition function for the whole boolean network expressed as MATLAB code (see Table 2). Other exports (e.g. for GinML) can be easily added. However, we think that first a well-defined standard for discrete and logical models should be established by finding some common denominator of different tools for discrete analysis of cellular network (preferably as part of the SBML initiative), to facilitate model exchange.
Proof of principle for large networks
In order to illustrate the applicability of our modeling environment to real, large networks, we have implemented, in ProMoT, a large model describing the signaling network governing T-cell activation (a previous version of the model described in ). The model comprises 94 species and 124 interactions (see Figure 6), and is, to the best of our knowledge, currently the largest logical model of a biological system. Note that we have used ProMoT's visualization properties described above, e.g. classifying the compounds to the different subclasses (kinase, adapter, etc.), which provides a map with this information visually coded (Figure 6).
In our group, there are currently several large models under development, including a model for T-cell signaling (see Figure 6), a model for the pro- and antiapoptotic signals controlling hepatocyte proliferation, and a detailed model of the cell cycle regulation in mammalian cells.
Thanks to ProMoT's modularity, we are developing parallely different submodels (e.g. EGF-dependent signaling, cell cycle regulation, and TNF-related signaling), which we will subsequently join into a larger model.
In order to represent the result of analyses of different tools directly in ProMoT's adaptive and interactive GUI, we plan to develop a common interface for data exchange.
Furthermore, we would like to develop, in agreement with the Systems Biology community and as part of the SBML initiative, a formalism for Boolean networks which facilitates the exchange and storage of models, as currently SBML allows for kinetics descriptions of biochemical networks.
We have described a new framework to set up models of biochemical networks using a logical formalism. The flexibility of our approach, its consideration of the specific properties of signaling and regulatory processes and their requirements, makes it a useful tool for the Systems Biology community. Its applicability was demonstrated not only by a toy model, but also via the largest current logical model of a signaling network, comprising 94 compounds (see Figure 6).
Availability and requirements
Project name: ProMoT
Project home page: http://www.mpi-magdeburg.mpg.de/projects/promot/
Operating system(s): The downloadable files run on Unix-derived operating systems (especially Linux). A Windows version is planned.
Programming languages: Java, Lisp
Other requirements: Java 1.4.2 or higher
License: GNU General Public Licence (GPL)
Any restrictions to use by non-academics: none
ProMoT is freely available at http://www.mpi-magdeburg.mpg.de/projects/promot/
Common Object Request Broker Architecture
Gene Interaction Networks Markup Language
Graphical User Interface
Zoomable User Interface
Model Definition Language
Systems Biology Markup Language
Thomas R, D'Ari R: Biological Feedback. Boca Raton, CRC Press; 1990.
Chaves M, Albert R, Sontag ED: Robustness and fragility of Boolean models for genetic regulatory networks. J Theor Biol 2005, 235: 431–49. 10.1016/j.jtbi.2005.01.023
Mendoza L, Thieffry D, Alvarez-Buylla E: Genetic control of flower morphogenesis in rabidopsis thaliana: a logical analysis. Bioinformatics 1999, 15: 593–606. 10.1093/bioinformatics/15.7.593
Kaufman M, Andris F, Leo O: A logical analysis of T cell activation and anergy. Proc Natl Acad Sci USA 1999, 96: 3894–3899. 10.1073/pnas.96.7.3894
Gonzalez A, Naldi A, Sanchez L, Thieffry D, Chaouiya C: GINsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems 2006, 84(2):91–100. 10.1016/j.biosystems.2005.10.003
Klamt S, Saez-Rodriguez J, Lindquist J, Simeoni L, Gilles ED: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics 2006, 7: 56. 10.1186/1471-2105-7-56
Klamt S, Saez-Rodriguez J, Gilles ED: Structural and functional analysis of cellular networks with CellNetAnalyzer. BMC Systems Biology, accepted 2006.
Funahashi A, Tanimura N, Morohashi M, Kitano H: CellDesigner: a process diagram editor for gene-regulatory and biochemical networks. Biosilico 2003, 1: 159–162. 10.1016/S1478-5382(03)02370-9
Pettinen A, Aho T, Smolander OP, Manninen T, Saarinen A, Taattola KL, Yli-Harja O, Linne ML: Simulation tools for biochemical networks: evaluation of performance and usability. Bioinformatics 2005, 21(3):357–363. 10.1093/bioinformatics/bti018
Ginkel M, Kremling A, Nutsch T, Rehner R, Gilles ED: Modular modeling of cellular systems with ProMoT/Diva. Bioinformatics 2003, 19(9):1169–1176. 10.1093/bioinformatics/btg128
Saez-Rodriguez J, Simeoni L, Lindquist J, Hemenway R, Bommhardt U, Arndt B, Haus UU, Weismantel R, Gilles ED, Klamt S, Schraven B: A comprehensive logical model predicts key events in the T-cell signaling network. submitted 2006.
Bederson BB, Grosjean J, Meyer J: Toolkit design for interactive structured graphics. In IEEE Transactions on Software Engineering. Volume 30. Laboratory Press; 2004:535–546. 10.1109/TSE.2004.44
Saraiya U, Duca K, North C: Visualization of biological pathways: Requirements analysis, systems evaluation and research agenda. Information Visualization 2005, 4(3):191–205. 10.1057/palgrave.ivs.9500102
The authors thank support of the German Ministry of Research and Education (HepatoSys), the German Research Society (FOR521), and the Ministry of Education of Saxony-Anhalt (Research Focus Dynamical Systems).
JSR conceived the project, implemented the library with MG, tested it and set up the models. SM implemented the visualization methods. RH contributed to the setup of models (particularly the T-cell model) and the documentation. SK contributed to the export functions. EDG gave rise to fruitful discussions and coordinated the project. MG implemented the interpretation of the library in ProMoT and export of the models. All authors read and approved the final manuscript.
Julio Saez-Rodriguez, Sebastian Mirschel contributed equally to this work.
Electronic supplementary material
Additional File 1: ProMoT Tutorial. A Tutorial explaining how to install ProMoT and how to set up and export logical models is attached. For updated versions check ProMoT's web page (see Availability and requirements section). (PDF 734 KB)
Additional File 2: ProMoT's source. The source code of ProMoT is attached. ProMoT binaries, source, and ProMoT binaries plus all additional libraries (e.g. java) can be downloaded from ProMoT's web page (see Availability and requirements section). (BZ2 10 MB)
Authors’ original submitted files for images
About this article
Cite this article
Saez-Rodriguez, J., Mirschel, S., Hemenway, R. et al. Visual setup of logical models of signaling and regulatory networks with ProMoT. BMC Bioinformatics 7, 506 (2006). https://doi.org/10.1186/1471-2105-7-506