• We are sorry, but NCBI web applications do not support your browser and may not function properly. More information
Logo of bmcbioiBioMed Centralsearchsubmit a manuscriptregisterthis articleBMC Bioinformatics
BMC Bioinformatics. 2006; 7: 506.
Published online Nov 17, 2006. doi:  10.1186/1471-2105-7-506
PMCID: PMC1665465

Visual setup of logical models of signaling and regulatory networks with ProMoT

Abstract

Background

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.

Results

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.

Conclusion

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/.

Background

The analysis of regulatory mechanisms using Boolean formalisms is an important technique [1], 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 [5].

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 [6]. These methods have been implemented in CellNetAnalyzer (CNA), allowing structural analysis of large networks within a GUI [7].

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 [10] 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 [11].

Implementation

All aspects of this work are implemented in ProMoT [10]. 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 Figure1).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 [6].

Figure 1
Architecture of ProMoT. Diagram of the software architecture of ProMoT. Added or extended software components are highlighted in green and bold face. Models can be set up either via the GUI or a text editor using the MDL format. The kernel can read and ...

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 [12]. 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).

Results

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 [10], 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 Figure22).

Figure 2
Screenshot of the Visual Editor of a toy model in ProMoT (left) and of its visually processed export (right), (e.g. to CellNetAnalyzer). The text in the bottom of the right figure shows an incomplete textual export (where '!' denotes Not, '·' ...

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[6], 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 [6], 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 [6], 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 Figure3).3). Additionally, all elements have a documentation, which can also be exported with the model.

Figure 3
Illustration of the setting of parameters by the encoding of multiple levels. Properties like the multilevel variable can be edited in the variable editor. The parameter a (level of activation) default equals 1, and can be modified to encode multilevel ...

Exploiting the modularity

ProMoT allows to set up models in a modular manner [10]. This unique property can be used to define different submodules, either physically delimited (e.g. the nucleus, see Figure Figure2)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.

Visualization

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 [13]. We tackle this issue with scenario-based visualization techniques (compare Figure Figure22 left and right) implemented in the Visual Explorer, a new component to the GUI of ProMoT (see Figure Figure11 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 Figure22 (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 Figure44.

Figure 4
Alternative visualizations. Using the concept of visual scenarios the whole network can be visually altered. Here, a new visual scenario towards a more abstract representation is defined as an alternative to the scenario used in Figure 2. All elements ...

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 Figure5.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.

Figure 5
Screenshot of the toy model exported to CellNetAnalyzer. Both the textual description (see Table 1) and the map of the toy model of Figure 2 were exported and loaded into CNA. Note that the position of the text boxes (x, y) were automatically generated ...

Even though there has recently been an initiative to define a XML format for boolean networks – GinML, see [5], – 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 Table11 and and2)2) and some other simple formats such as a transition function for the whole boolean network expressed as MATLAB code (see Table Table2).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.

Table 1
Export to CellNetAnalyzer
Table 2
Matlab function expressing the boolean network.

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 [11]). The model comprises 94 species and 124 interactions (see Figure Figure6),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 (Figure66).

Figure 6
Screenshot of a comprehensive logical model describing T-cell activation. Screenshot of the logical model describing T-cell activation created in ProMoT. The model comprises 94 compound and 124 reactions.

Discussion

In our group, there are currently several large models under development, including a model for T-cell signaling (see Figure Figure6),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.

Conclusion

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 Figure66).

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/

Abbreviations

CNA = CellNetAnalyzer

CORBA = Common Object Request Broker Architecture

GinML = Gene Interaction Networks Markup Language

GUI = Graphical User Interface

ZUI = Zoomable User Interface

MDL = Model Definition Language

SBML = Systems Biology Markup Language

Authors' contributions

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.

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).

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).

Acknowledgements

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).

References

  • 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. doi: 10.1016/j.jtbi.2005.01.023. [PubMed] [Cross Ref]
  • Mendoza L, Thieffry D, Alvarez-Buylla E. Genetic control of flower morphogenesis in rabidopsis thaliana: a logical analysis. Bioinformatics. 1999;15:593–606. doi: 10.1093/bioinformatics/15.7.593. [PubMed] [Cross Ref]
  • Kaufman M, Andris F, Leo O. A logical analysis of T cell activation and anergy. Proc Natl Acad Sci USA. 1999;96:3894–3899. doi: 10.1073/pnas.96.7.3894. [PMC free article] [PubMed] [Cross Ref]
  • 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:91–100. doi: 10.1016/j.biosystems.2005.10.003. [PubMed] [Cross Ref]
  • 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. doi: 10.1186/1471-2105-7-56. [PMC free article] [PubMed] [Cross Ref]
  • 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. doi: 10.1016/S1478-5382(03)02370-9. [Cross Ref]
  • 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:357–363. doi: 10.1093/bioinformatics/bti018. [PubMed] [Cross Ref]
  • Ginkel M, Kremling A, Nutsch T, Rehner R, Gilles ED. Modular modeling of cellular systems with ProMoT/Diva. Bioinformatics. 2003;19:1169–1176. doi: 10.1093/bioinformatics/btg128. [PubMed] [Cross Ref]
  • 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. IEEE Transactions on Software Engineering. Vol. 30. Laboratory Press; 2004. Toolkit design for interactive structured graphics; pp. 535–546. [Cross Ref]
  • Saraiya U, Duca K, North C. Visualization of biological pathways: Requirements analysis, systems evaluation and research agenda. Information Visualization. 2005;4:191–205. doi: 10.1057/palgrave.ivs.9500102. [Cross Ref]

Articles from BMC Bioinformatics are provided here courtesy of BioMed Central
PubReader format: click here to try

Formats:

Related citations in PubMed

See reviews...See all...

Cited by other articles in PMC

See all...

Links

  • PubMed
    PubMed
    PubMed citations for these articles

Recent Activity

Your browsing activity is empty.

Activity recording is turned off.

Turn recording back on

See more...