Actions

Rule-Based Modeling of Biochemical Systems: Difference between revisions

From Santa Fe Institute Events Wiki
 
(48 intermediate revisions by 5 users not shown)
Line 2: Line 2:


[[Image:Sfi-side-image.jpg|right]]
[[Image:Sfi-side-image.jpg|right]]
[[Post your slides here]]
[[Post a thought]]
[[Reimbursement Information]]


== Workshop Organization ==
== Workshop Organization ==
Line 20: Line 26:
== Preliminary Workshop Schedule and Venue Information ==
== Preliminary Workshop Schedule and Venue Information ==


We will begin with a reception on Wednesday June 13 (to be held at the [http://www.hotelsantafe.com/ Hotel Santa Fe]), followed by two full days of meetings at the [http://www.santafe.edu Santa Fe Institute] on June 14 and 15.
Abstracts are linked to a [[RBM Workshop Abstracts|separate page of abstracts]].
'''All talks will be 25 minutes followed by 5 minutes for questions.'''


'''All talks will be 25 minutes followed by 5 minutes for questions.'''
===Wednesday, June 13===
 
[ 6:00 - ? PM ]  Welcome reception at the [http://www.hotelsantafe.com/ Hotel Santa Fe]


Here's a preliminary [[RBM_Agenda|agenda]].
===Thursday, June 14===


== Background Readings ==
[ 8:30-8:40 AM ] '''Opening Remarks'''


If you have time for nothing else, we strongly recommend reading the following before coming to the meeting:
[ 8:40-8:50 AM ] ''William Hlavacek (LANL)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#hlavacek An Overview of Rule-Based Modeling]'''


* Hlavacek WS, Faeder JR, Blinov ML, Posner RG, Hucka M, Fontana W, ''Rules for modeling signal-transduction systems'', Science STKE, 18 July 2006 [http://stke.sciencemag.org/cgi/content/full/sigtrans;2006/344/re6 PDF].  This is a a comprehensive review of rule-based modeling written by the organizers.
====''Software for Rule-Based Modeling''====


* Kohn, KW, Aladjem, MI, Kim, S, Weinstein, JN, Pommier, Y "Depicting combinatorial complexity with the molecular interaction map notation" Mol Syst Biol 2006 [http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=PubMed&dopt=Citation&list_uids=17016517 PubMed Abstract]
The objective for this session is to provide an overview of the tools available for rule-based modeling. Key questions for the speakers to address are 1) What biological features and questions motivated the development of the software? 2) What capabilities does the software provide? 3) What are specific examples where the approach/software have led to new insights? 4) What capabilities still need to be developed? 5) What are the essential entities and processes that you feel must be represented in any exchange format to support your modeling needs and software?


The following are important for the discussions about extending SBML to support this class of modeling:
One theme for this session and for the whole workshop arises from a more pointed version of Question 3:
''What results from your work so far make the best case for the necessity of rule-based modeling in this context?  How do you respond to the argument that the data doesn't yet justify this sophisticated approach?''


* Michael Blinov et al.'s 2004  proposal for SBML Level 3 extensions for multicomponent species [http://www.cds.caltech.edu/~afinney/LA-UR-04-5445-Oct6.pdf PDF]
[ 8:55-9:30 AM ] ''James Faeder (LANL)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#faeder BioNetGen]''' [[Media:FaederRBMWorkshop2007.ppt|slides]]
* Andrew Finney's 2004 proposal for SBML Level 3 extensions for multicomponent species [http://www.cds.caltech.edu/~afinney/multi-component-species.pdf PDF]
* The SBML Level 2 Version 3 public prerelease specification [http://downloads.sourceforge.net/sbml/sbml-level-2-version-3-prerelease.pdf PDF]


Additional readings for context and background (speakers - please suggest a paper, ideally current and technically detailed):
[ 9:30-10:00 AM ] ''Larry Lok (MSI)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#lock Moleculizer]'''


* Blinov, Yang, Faeder & Hlavacek, "Graph theory for rule-based modeling of biochemical networks," Lect. Notes Comput. Sci. 4230, 89-106 [http://www.springerlink.com/content/x81w21u24785374p/]
[ 10:500-10:30 AM ] ''Martin Meier-Schellersheim'' (NIH/NIAID) '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#meier Simmune]'''
* Lok & Brent, "Automatic generation of cellular reaction networks with Moleculizer 1.0", ''Nat. Biotech.'' 23(1):131-136, 2005. [http://bnmc.caltech.edu/files/lok_2005.pdf PDF]


[ 10:30-11:10 AM ] '''Coffee Break Sponsored by SFI'''


[ 11:10-11:40 AM ] ''Anika Öllrich (EBI)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#oellrich StochSim]'''


== Attendees and Abstracts ==
[ 11:40-12:10 PM ] ''Ricardo Paxson (Mathworks)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#paxon Introduction to SimBiology and possible future enhancements for rule based modeling]'''


The following are the confirmed attendees and the current abstracts of their presentations.
[ 12:10-12:40 PM ]  ''Pat Lincoln (SRI)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#lincolon Pathway Logic] '''


* [http://www.molsci.org/about/people/naddy.html Nathan Addy (The Molecular Sciences Institute)]: '''Experiences Converting Between BNG and Moleculizer Input Formats'''
[ 12:40-2:00 PM ] '''Catered Lunch Sponsored by SFI'''


:: ''Abstract'': This talk will detail my experiences writing a converter that converts between BNG models and Moleculizer models. Both programs are examples of chemical reaction network simulators that take input in the form of template based rules describing the conditions and rates under which new complexes form. In spite of their similarities, there are several important differences in their structure, which represent different schools of thought as to how rules should be specified.  This talk will detail these differences on a practical level, and how one can be generated from the other, with the hope that this will be informative to discussions regarding different SBML Level 3 Rule based formats.
[ 2:00-2:30 PM ]  ''Ozan Kahramano (CISBIC)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#kahramano On Concurrent Computations in Petri Nets for Modelling Signalling Pathways]'''


* [http://genetics.uchc.edu/faculty/blinov.htm Michael L. Blinov (U Connecticut Health Ctr)]:
[ 2:30-3:00 PM ]  ''Jean Krivine (École Polytechnique)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#krivine Kappa: A rule-based framework for the simulation and analysis of concurrent biomolecular systems of combinatorial complexity]'''
[ 3:00-3:30 PM ]  '''Coffee Break Sponsored by SFI'''


* [http://sysbio.med.harvard.edu/faculty/sorger/ Will Chen (Harvard)]: '''Phospho-dynamic Experiments and Computational Modeling of the ErbB Pathways'''
====''Representational Issues in Rule-Based Modeling''====


:: ''Abstract'': The ErbB receptors are a set of four plasma membrane-bound receptors that play a role in organismal development and disease, such as proliferation, invasion and metastasis of cancers. The four receptors are able to homodimerize and heterodimerize when bound to extracellular ligands, and couple to the MAP kinase and PI3K/AKT pathways to transduce extracellular signals to the nucleus.  High precision, phospho-dynamic measurements are married to a biologically simple (but computationally complex) chemical reaction ODE model of early pathway events. The role of rule-based modeling for large chemical systems will be discussed in the context of studying the dynamics of the ErbB receptors.
[ 3:30-4:00 PM ]  ''Sohyoung Kim (NIH/NCI)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#kim Depicting combinatorial complexity with the molecular interaction map notation]'''


* Joshua Colvin
[ 4:00-4:30 PM ]  ''Stephen Racunas (Penn State)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#racunas Representation and Evaluation of Biochemical Hypotheses]'''


* [http://www.isr.uni-stuttgart.de/~conzelmann/head_english.html Holger Conzelmann (University of Stuttgart)]: '''Signal transduction and combinatorial complexity: Model reduction, reduced modeling and thermodynamic constraints'''
[ 4:30-5:00 PM ]  ''Aneil Mallavarapu (Harvard)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#mallavarapu Little b]'''


:: ''Abstract'': Modeling signal transduction networks, which exhibit an enormous combinatorial complexity, is a challenging task. In the past years we have developed systematic methods to create strongly reduced models of these complex reaction networks. These methods mostly are independent of exact numerical values of the kinetic parameters. They mainly base on assumptions about domain interactions. However, the feasible interactions between domains of scaffold proteins and receptors are restricted by elementary thermodynamic constraints, which should be considered in modeling.
[ 5:00-5:45 PM ]  '''Discussion'''  


* [http://www.pps.jussieu.fr/~danos/ Vincent Danos (CNRS)]: '''What is so special about biological signalling?'''
[ 6:30 - ? PM ] '''Dinner at Ristra Sponsored by SFI'''


:: ''Abstract'': Biological signalling networks can be described neatly in a language where agents bind and modify their internal states according to some specified rules. However, natural rule sets generate concurrent transition systems (or stochastic ones, given rates for rules), which are large (many agents are involved) and high dimensional (the number of non-isomorphic ways in which agents can connect is high or even infinite), so that even simple tasks such as simulation are costly.  We develop here an abstract interpretation of those networks, based on the natural notion of an agent view, which leads, among other things, to an efficient computation of a superset of the system dimensions.  We show this superset is the exact one, ie not just a superset, iff the latter is closed under swap (an operation whereby pairs of edges of the same type can permute their ends).  That property can be taken as the definition of a local signalling network, a rather strong constraint which is implied by a simple syntactic restriction on rules.  Suprisingly we can show that two substantial examples -- the EGF/FGF receptors early response pathways -- verify that syntactic condition (up to some transformations), and therefore despite their apparent complexity fall within the class of local networks.
===Friday, June 15===


* [http://cbio.mskcc.org/people/info/emek_demir.html Emek Demir (Memorial Sloan-Kettering Cancer Center)]: '''Rule based aspects in BioPAX'''
[8:15]  Welcome to SFI - Chris Wood


:: ''Abstract'': BioPAX is a collaborative effort to create a data exchange format for biological pathway data. Recently we have proposed rule based aspects for covering generic entities and unknown state variables for the next level of BioPAX. I will present the biological requirements driven from the data providers in the BioPAX community as well as our design rationale for the proposed features.
====''Applications and Computational Aspects'' ====


* [http://www.t10.lanl.gov/faeder/ James R. Faeder (Los Alamos)]: '''Rule-based Modeling of Biochemical Systems using BioNetGen'''
[ 8:30-9:00 AM ] ''Vincent Danos (CNRS)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#danos What is so special about biological signalling?]'''


:: ''Abstract'': Binding interactions among proteins and other biomolecules occur at the level of domains and motifs and often follow phosphorylation or other posttranslational modifications. The catalog of these functional elements and their interactions is continually growing and poses a major barrier to the development of predictive mathematical models because of combinatorial complexity, the explosion in the number of possible chemical species and reactions that can occur in such networks. The BioNetGen (BNG) language uses graphs to represent proteins and other biomolecules, with nodes representing functional subunits of these molecules and edges representing binding interactions. Graph rewriting rules describe biochemical transformations, such the formation or dissociation of bonds or state changes. This language enables the construction of precise and comprehensive models and greatly expands the scope of information that can be incorporated into models of cellular networks. BNG also incorporates a wide range of analytical and simulation tools, and networks generated by BNG can be exported in the Systems Biology Markup Language and other formats allowing interoperability with other modeling platforms.  Standard methods for simulating reaction networks, such as ODEs and the Gillespie algorithm, are often not adequate to simulate networks arising from the rule-based description of realistic signaling cascades, requiring the development of simulation algorithms that avoid explicit generation of the reaction network. I will describe recent progress in the development of such algorithms and also present several applications to the modeling of signal transduction networks, including immune and growth factor receptors.
[ 9:00-9:30 AM ] ''Holger Conzelmann (University of Stuttgart)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#conzelmann Signal transduction and combinatorial complexity: Model reduction, reduced modeling and thermodynamic constraints]'''


* [http://sysbio.med.harvard.edu/faculty/fontana/ Walter Fontana (Harvard)]:
[ 9:30-10:00 AM ] ''Richard G. Posner (TGen)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#posner Mechanistic modeling of signaling pathways]'''


* [http://cnls.lanl.gov/External/people/William_Hlavacek.php William S. Hlavacek (Los Alamos)]: '''Introduction'''
[ 10:00-10:30 AM ] '''Coffee Break Sponsored by SFI'''


* [http://www.cds.caltech.edu/people/portal/index.php?un='mhucka' Michael Hucka (Caltech)]:
[ 10:30-11:00 AM ] ''Will Chen (Harvard)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#chen Phospho-dynamic Experiments and Computational Modeling of the ErbB Pathways]'''


* [http://www.doc.ic.ac.uk/~ozank/ Ozan Kahramano<span>&#287;</span>ullari (Imperial College London)]: '''On Concurrent Computations in Petri Nets for Modelling Signalling Pathways'''
[ 11:00-11:30 AM ]  ''Ty Thomson (MIT)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#thomson A Collaborative Process for Building and Documenting Biological Models]'''


:: ''Abstract'': We introduce the language CP, a compositional language for place transition petri nets for the purpose of modelling signalling pathways in complex biological systems. We give the operational semantics of the language CP by means of a proof theoretical deductive system which extends multiplicative exponential linear logic with a self-dual non-commutative logical operator. This allows to express parallel and sequential composition of processes at the same syntactic level as in process algebra, and perform logical reasoning on these processes. We demonstrate the use of the language on a model of a signaling pathway for Fc receptor-mediated phagocytosis.
====''Towards Standards for Rule-Based Modeling''====


* [http://discover.nci.nih.gov/kohnk/interaction_maps.html Sohyoung Kim (NIH/NCI)]: '''Depicting combinatorial complexity with the molecular interaction map notation'''
[ 11:30-12:00 AM ] ''Michael Hucka (Caltech)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#hucka An Overview of SBML and Goals for SBML Level 3]'''


:: ''Abstract'': To help us understand how bioregulatory networks operate, we need a standard notation for diagrams analogous to electronic circuit diagrams.  Such diagrams must surmount the difficulties posed by complex patterns of protein modifications and multiprotein complexes. To meet that challenge, we have designed the molecular interaction map (MIM) notation. MIM notation is used to build three types of diagrams: (1) explicit diagrams that define specific pathway models for computer simulation; (2) heuristic maps that organize the available information about molecular interactions and encompass the possible processes or pathways; and (3) diagrams of combinatorially complex models. Our discussion will focus on combinatorially compelx models and its applications.
[ 12:00-1:30 PM ]  '''Lunch Sponsored by SFI'''


* [http://www.polytechnique.fr/ Jean Krivine (&Eacute;cole Polytechnique)]:
[ 1:30-2:00 AM ] ''Nathan Addy (MSI)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#addy Experiences Converting Between BNG and Moleculizer Input Formats]'''


* [http://www.csl.sri.com/users/lincoln/ Pat Lincoln (SRI)]:
[ 2:00-2:30 PM ]  ''Emek Demir (MSKCC)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#demir Rule based aspects in BioPAX] [http://santafe.edu/events/workshops/images/e/ef/Emek-rbm07.ppt slides]'''


* [http://www.molsci.org/~lok/index.html Larry Lok (MSI)]: '''Mechanism-based management of reaction network rules'''
====''Open Discussion of SBML Level 3 Proposals''====


:: ''Abstract'': Some (better or worse) Moleculizer design decisions, including but not limited to rule-based reaction network generation, naturally impact the program's native input format. For Moleculizer or any modeling program to work effectively with SBML, an adapter of some sort seems necessary on the input side. In some cases, the adapter could be a simple XSLT transformation. My talk will consist of some half-baked ideas about balancing adapter functionality with program revision.
[ 2:30-3:00 PM ]  ''Michael Blinov (UCHC)'' '''[http://www.santafe.edu/events/workshops/index.php/RBM_Workshop_Abstracts#blinov An SBML L3 Proposal for Description of Rule-Based Models]'''  Slides [[Media:sbml3-Blinov-2007-06-15.ppt|PPT]]


* [http://bio.freelogy.org/wiki/User:AneilMallavarapu Aneil Mallavarapu (Harvard)]:
[ 3:00-3:30 PM ] Discussion of SBML Level 3 Proposals


* [http://www.ebi.ac.uk/Information/Staff/person_maint.php?s_person_id=849 Anika Oellrich (EBI)]: '''Support for multistate complexes in SBML Level 3: StochSim SBML Support'''
[ 3:30-4:00 PM ] '''Coffee Break Sponsored by SFI'''


:: ''Abstract'': Biological entities may exist under different states, which are caused by covalent modifications, binding to modulators, alternate conformations or physical properties etc. Since most entities possess more than one state variable this results in a combinatorial explosion of possible states. StochSim is a mesoscopic stochastic biochemical simulator, which includes the possibility to simulate reactions between multistate complexes. The states are represented by vectors of state variables, and the number of reactions increases linearly with the number of state variables rather than exponentially. Complex configuration files are needed for setting-up a simulation. A comfortable and portable way would-be to use SBML natively. Because of the reason that SBML Level 2 does not provide structures to encode species state variables and the related reactions, this information has to be encoded in StochSim proprietary annotations. The state variables and their possible values are stored in SBML speciesTypes, the initial levels in SBML species and the description of multistate reactions in SBML reaction. We will also give an overview of how the simulator works currently and especially how the implementation of multistates is realised. Open questions remain on how best to encode instantaneous equilibriums between states and nearest-neighbour interactions in lattice. Although the SBML extension we developed is meant to be used in StochSim for now, we developed it with a much broader audience in mind, for instance not restricting us to binary state variables.
[ 4:00-?  PM ]  Open Discussion about SBML support for rule-based modeling and other topics in rule-based modeling. Preparation of a conference report to be submitted to Molecular Systems Biology. Future meetings?


* [http://www.mathworks.com/products/simbiology/ Rick "Pax" Paxson (MathWorks)]: ''': Introduction to SimBiology and possible future enhancements for rule based modeling'''
===Saturday, June 16===


:: ''Abstract'': I will be presenting the current version of SimBiology, a software package intended for the modeling, simulation and analysis of biochemical pathways. It is a MATLAB based product  that exploits the flexibility of having a programming interface to all of its functionality.  Hinging on this flexibility we propose possible future enhancements to add rule based modeling capabilities.  The focus of the talk is to get attendees acquainted with SimBiology for the purpose of founding conversations and/or collaborations that extend rule based modeling in this environment.
Morning '''Departure'''


* [http://www6.nau.edu/biology/People/Faculty/Posner/Posner.htm Richard G. Posner (TGen)]: '''Mechanistic modeling of signaling pathways.'''
== Recommended Background Readings ==


:: ''Abstract'': Because cellular signaling is exceedingly complex, we believe a mathematical model predicting the dynamic behavior of a system of interest is essential for understanding the system and that such a model has the potential to guide rationale drug discovery, clinical practice and diagnosis. Mechanistic models of signal transduction and other cellular systems are difficult to formulate because of the problem of combinatorial complexity, which is present whenever a relatively small number of biomolecular interactions have the potential to generate a much larger number of chemical species and reactions.  For example a complete model of the ErbB signaling pathway would have require keeping track of over 100 trillion potential molecular configurations.    We have recently developed a C version of network modelng software that can read BioNetGen inpiut files and has improved capabilities and speed.  The software has been specifically designed to allow one to make testable in silico predictions concerning the effects of drugs individually and  as combinations.
If you have time for nothing else, we strongly recommend reading the following before coming to the meeting:


* [http://www.the-scientist.com/article/display/15508/ Stephen Racunas (Penn State)]: '''Representation and Evaluation of Biochemical Hypotheses'''
* Hlavacek WS, Faeder JR, Blinov ML, Posner RG, Hucka M, Fontana W, ''Rules for modeling signal-transduction systems'', Science STKE, 18 July 2006 [http://stke.sciencemag.org/cgi/content/full/sigtrans;2006/344/re6 PDF].  This is a a comprehensive review of rule-based modeling written by the organizers.


:: ''Abstract'': In this talk, I will outline some recent work in both metabolic and regulatory systems that makes use of rule-based techniques to evaluate populations of competing hypotheses for the level of support or contradiction each hypothesis encounters with respect to multiple data sources.  I will outline the features of some formal languages used to represent the rules and the interacting agents in several applications, and then present a possible unifying "base language" capable of expressing the salient features from all of the examples in a common framework. I will also show how these techniques can been used to proofread biomedical knowledge bases, to unify heterogenous data resources, and to evaluate hypotheses about regulation and metabolism.
* Kohn, KW, Aladjem, MI, Kim, S, Weinstein, JN, Pommier, Y "Depicting combinatorial complexity with the molecular interaction map notation" Mol Syst Biol 2006 [http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=PubMed&dopt=Citation&list_uids=17016517 PubMed Abstract]


* [http://www3.niaid.nih.gov/labs/aboutlabs/psiim/computationalBiology/ Martin Meier-Schellersheim (NIH/NIAID)]: '''A tool for multi-scale computational cell biology'''
The following are important for the discussions about extending SBML to support this class of modeling:


:: ''Abstract'': The modeling and simulation tool [http://www3.niaid.nih.gov/labs/aboutlabs/psiim/computationalBiology/ Simmune] allows for the definition of detailed models of cell biological processes ranging from interactions between molecular binding sites to the behavior of populations of cells. Based on the inputs the user provides through a graphical interface, the software automatically constructs the resulting sets of partial differential equations describing intra- and extra-cellular reaction-diffusion and integrates them, providing numerous ways to display the behavior of the simulated systems and to interact in a way that closely resembles wet-lab manipulations with running simulations. In the talk, I will explain the technical foundations and typical use cases for simmune.
* Michael Blinov's June, 2007 presentation on SBML L3 specification for rule-based modeling [[Media:sbml3-Blinov-2007-06-15.pdf|pdf]]
* Michael Blinov's June, 2007 revised proposal for specification of rule-based models [[Media:Blinov-sbml3-2007-06-12.pdf|PDF]]
* Michael Blinov et al.'s 2004  proposal for SBML Level 3 extensions for multicomponent species [http://www.cds.caltech.edu/~afinney/LA-UR-04-5445-Oct6.pdf PDF]
* Andrew Finney's 2004 proposal for SBML Level 3 extensions for multicomponent species [http://www.cds.caltech.edu/~afinney/multi-component-species.pdf PDF]
* The SBML Level 2 Version 3 public prerelease specification [http://downloads.sourceforge.net/sbml/sbml-level-2-version-3-prerelease.pdf PDF]


* [http://openwetware.org/wiki/Ty_Thomson Ty Thomson (MIT)]: '''A Collaborative Process for Building and Documenting Biological Models'''
Additional readings for context and background (speakers - please suggest a paper, ideally current and technically detailed):


:: ''Abstract'': Evaluation, reuse, and extension of published computational models is made difficult by the fact that most model builders do not provide organized descriptions of the reasoning and decisions made during model construction (e.g., choice and parameterization of reactions, system boundaries, etc.). The lack of access to such information results in individual modelers repeatedly redeveloping models, potentially using different subsets of the literature or interpretations thereof. Here we develop a principled process for describing the construction of a model along with support for model promulgation, reuse, revision, and extension. We apply our methods to develop a model for the Saccharomyces cerevisiae pheromone signal transduction pathway. The website (www.YeastPheromoneModel.org) presents both a formal rule-based model as well as the natural language documentation drawn directly from the literature. Choices and assumptions are clearly stated to facilitate their evaluation by other researchers. Modeling statements can be automatically extracted and processed into a BioNetGen model file for study and analysis. We believe that the cooperative and open development of well-documented models, enabled by web-based platforms such as wikis, would greatly increase model quality, scale, and number.
* Blinov, Yang, Faeder & Hlavacek, "Graph theory for rule-based modeling of biochemical networks," Lect. Notes Comput. Sci. 4230, 89-106 [http://www.springerlink.com/content/x81w21u24785374p/]
* Lok & Brent, "Automatic generation of cellular reaction networks with Moleculizer 1.0", ''Nat. Biotech.'' 23(1):131-136, 2005. [http://bnmc.caltech.edu/files/lok_2005.pdf PDF]


== Travel Information ==
== Travel Information ==

Latest revision as of 12:33, 16 June 2007

The use of rules to represent and simulate the interactions of molecules in biochemical regulatory networks [1] is an emerging area of systems biology that promises to change the way these networks are modeled and understood. The purpose of this proposed workshop is to bring together representatives from major research groups active in this area for the purpose of exchanging ideas, discussing applications of rule-based modeling methods, surveying existing capabilities, mapping out where the field is headed, and developing standards that will promote the exchange of models and the development of new software tools. As part of this, one pratical goal will be to discuss and (hopefully) settle on a draft proposal for representing multicomponent species and complexes within the framework of SBML.

Post your slides here

Post a thought

Reimbursement Information

Workshop Organization

The workshop organizers are:

This workshop is made possible thanks to generous support from the following organizations:

Preliminary Workshop Schedule and Venue Information

Abstracts are linked to a separate page of abstracts. All talks will be 25 minutes followed by 5 minutes for questions.

Wednesday, June 13

[ 6:00 - ? PM ] Welcome reception at the Hotel Santa Fe

Thursday, June 14

[ 8:30-8:40 AM ] Opening Remarks

[ 8:40-8:50 AM ] William Hlavacek (LANL) An Overview of Rule-Based Modeling

Software for Rule-Based Modeling

The objective for this session is to provide an overview of the tools available for rule-based modeling. Key questions for the speakers to address are 1) What biological features and questions motivated the development of the software? 2) What capabilities does the software provide? 3) What are specific examples where the approach/software have led to new insights? 4) What capabilities still need to be developed? 5) What are the essential entities and processes that you feel must be represented in any exchange format to support your modeling needs and software?

One theme for this session and for the whole workshop arises from a more pointed version of Question 3: What results from your work so far make the best case for the necessity of rule-based modeling in this context? How do you respond to the argument that the data doesn't yet justify this sophisticated approach?

[ 8:55-9:30 AM ] James Faeder (LANL) BioNetGen slides

[ 9:30-10:00 AM ] Larry Lok (MSI) Moleculizer

[ 10:500-10:30 AM ] Martin Meier-Schellersheim (NIH/NIAID) Simmune

[ 10:30-11:10 AM ] Coffee Break Sponsored by SFI

[ 11:10-11:40 AM ] Anika Öllrich (EBI) StochSim

[ 11:40-12:10 PM ] Ricardo Paxson (Mathworks) Introduction to SimBiology and possible future enhancements for rule based modeling

[ 12:10-12:40 PM ] Pat Lincoln (SRI) Pathway Logic

[ 12:40-2:00 PM ] Catered Lunch Sponsored by SFI

[ 2:00-2:30 PM ] Ozan Kahramano (CISBIC) On Concurrent Computations in Petri Nets for Modelling Signalling Pathways

[ 2:30-3:00 PM ] Jean Krivine (École Polytechnique) Kappa: A rule-based framework for the simulation and analysis of concurrent biomolecular systems of combinatorial complexity

[ 3:00-3:30 PM ] Coffee Break Sponsored by SFI

Representational Issues in Rule-Based Modeling

[ 3:30-4:00 PM ] Sohyoung Kim (NIH/NCI) Depicting combinatorial complexity with the molecular interaction map notation

[ 4:00-4:30 PM ] Stephen Racunas (Penn State) Representation and Evaluation of Biochemical Hypotheses

[ 4:30-5:00 PM ] Aneil Mallavarapu (Harvard) Little b

[ 5:00-5:45 PM ] Discussion

[ 6:30 - ? PM ] Dinner at Ristra Sponsored by SFI

Friday, June 15

[8:15] Welcome to SFI - Chris Wood

Applications and Computational Aspects

[ 8:30-9:00 AM ] Vincent Danos (CNRS) What is so special about biological signalling?

[ 9:00-9:30 AM ] Holger Conzelmann (University of Stuttgart) Signal transduction and combinatorial complexity: Model reduction, reduced modeling and thermodynamic constraints

[ 9:30-10:00 AM ] Richard G. Posner (TGen) Mechanistic modeling of signaling pathways

[ 10:00-10:30 AM ] Coffee Break Sponsored by SFI

[ 10:30-11:00 AM ] Will Chen (Harvard) Phospho-dynamic Experiments and Computational Modeling of the ErbB Pathways

[ 11:00-11:30 AM ] Ty Thomson (MIT) A Collaborative Process for Building and Documenting Biological Models

Towards Standards for Rule-Based Modeling

[ 11:30-12:00 AM ] Michael Hucka (Caltech) An Overview of SBML and Goals for SBML Level 3

[ 12:00-1:30 PM ] Lunch Sponsored by SFI

[ 1:30-2:00 AM ] Nathan Addy (MSI) Experiences Converting Between BNG and Moleculizer Input Formats

[ 2:00-2:30 PM ] Emek Demir (MSKCC) Rule based aspects in BioPAX slides

Open Discussion of SBML Level 3 Proposals

[ 2:30-3:00 PM ] Michael Blinov (UCHC) An SBML L3 Proposal for Description of Rule-Based Models Slides PPT

[ 3:00-3:30 PM ] Discussion of SBML Level 3 Proposals

[ 3:30-4:00 PM ] Coffee Break Sponsored by SFI

[ 4:00-? PM ] Open Discussion about SBML support for rule-based modeling and other topics in rule-based modeling. Preparation of a conference report to be submitted to Molecular Systems Biology. Future meetings?

Saturday, June 16

Morning Departure

Recommended Background Readings

If you have time for nothing else, we strongly recommend reading the following before coming to the meeting:

  • Hlavacek WS, Faeder JR, Blinov ML, Posner RG, Hucka M, Fontana W, Rules for modeling signal-transduction systems, Science STKE, 18 July 2006 PDF. This is a a comprehensive review of rule-based modeling written by the organizers.
  • Kohn, KW, Aladjem, MI, Kim, S, Weinstein, JN, Pommier, Y "Depicting combinatorial complexity with the molecular interaction map notation" Mol Syst Biol 2006 PubMed Abstract

The following are important for the discussions about extending SBML to support this class of modeling:

  • Michael Blinov's June, 2007 presentation on SBML L3 specification for rule-based modeling pdf
  • Michael Blinov's June, 2007 revised proposal for specification of rule-based models PDF
  • Michael Blinov et al.'s 2004 proposal for SBML Level 3 extensions for multicomponent species PDF
  • Andrew Finney's 2004 proposal for SBML Level 3 extensions for multicomponent species PDF
  • The SBML Level 2 Version 3 public prerelease specification PDF

Additional readings for context and background (speakers - please suggest a paper, ideally current and technically detailed):

  • Blinov, Yang, Faeder & Hlavacek, "Graph theory for rule-based modeling of biochemical networks," Lect. Notes Comput. Sci. 4230, 89-106 [2]
  • Lok & Brent, "Automatic generation of cellular reaction networks with Moleculizer 1.0", Nat. Biotech. 23(1):131-136, 2005. PDF

Travel Information

The Santa Fe Institute is located in Santa Fe, a small town in New Mexico, USA.

To get to the Santa Fe Institute from outside of New Mexico, you will most likely be flying into Albuquerque International Airport (code: ABQ), which is 60 miles (~100km) away from Santa Fe. It is also possible, though unlikely, that you will fly into the Santa Fe Municipal Airport (code: SAF), but few airlines make connections there. The Santa Fe Institute provides the following useful pages of information about transportation to SFI from ABQ:

The following are some suggestions and recommendations for international visitors:

  • Distances in the western USA are deceptively long (much longer than you may expect from driving in other areas of the world) and the region is sparsely populated. If you are planning on doing any sightseeing, make sure to check your distances carefully.
  • English is the dominant language in Santa Fe. Many residents also speak Spanish.
  • Airport currency exchange services are usually more expensive than taking cash out of an ATM or exchanging at a bank. You may want to check the current exchange rates (e.g., at xe.com) so that you have some idea of what to expect, although of course you will not get the exact exchange rate because all services charge a percentage for doing the exchange.
  • Tipping is customary in the USA and generally not precomputed on bills. 15%-20% is typical and expected for restaurants and taxis, tipping $2-$5 if someone carries your bags or parks your car is also typical, and leaving $2 for the hotel room cleaning staff every day is also appreciated by the staff.
  • You may wish to obtain whatever kind of power adapter is necessary for you to use your laptop and other electrical devices before you arrive into Santa Fe. It may be possible to buy converters at shops around your hotel or elsewhere in Santa Fe, but it is not guaranteed, nor is it assured they will have the right type for your electrical needs. See [3] for information about electric standards in the USA.
Retrieved from "https://wiki.santafe.edu/index.php?title=Rule-Based_Modeling_of_Biochemical_Systems&oldid=9544"