Composition and Aggregation in Modeling Regulatory Networks Clifford A. Shaffer* Ranjit Randhawa* John J. Tyson + Departments of Computer Science* and.

Slides:



Advertisements
Similar presentations
Presentation by Prabhjot Singh
Advertisements

Deterministic Global Parameter Estimation for a Budding Yeast Model T.D Panning*, L.T. Watson*, N.A. Allen*, C.A. Shaffer*, and J.J Tyson + Departments.
The Hard Real-Time Unified Modeling Language (HRT-UML) method provides a comprehensive solution to the modeling of Hard Real Time systems. HRT-UML incorporates.
Systems Analysis and Design 9th Edition
Object-Oriented Analysis and Design
Computational Biology, Part 19 Cell Simulation: Virtual Cell Robert F. Murphy, Shann-Ching Chen, Justin Newberg Copyright  All rights reserved.
Lab/Sessional -CSE-374. SYSTEM DEVELOPMENT LIFE CYCLE.
The Architecture Design Process
System Design and Analysis
SCB : 1 Department of Computer Science Simulation and Complexity SCB : Simulating Complex Biosystems Susan Stepney Department of Computer Science Leo Caves.
1 Software Testing and Quality Assurance Lecture 30 – Testing Systems.
Geography 465 Overview Geoprocessing in ArcGIS. MODELING Geoprocessing as modeling.
Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.
1 An introduction to design patterns Based on material produced by John Vlissides and Douglas C. Schmidt.
Modeling the Cell Cycle with JigCell and DARPA’s BioSPICE Software Departments of Computer Science* and Biology +, Virginia Tech Blacksburg, VA Faculty:
Introduction SWE 619. Why Is Building Good Software Hard? Large software systems enormously complex  Millions of “moving parts” People expect software.
4 th NeuroML Development Workshop & BrainScaleS CodeJam, Edinburgh, March NeuroML: Where are we at? Padraig Gleeson Department.
MDC Open Information Model West Virginia University CS486 Presentation Feb 18, 2000 Lijian Liu (OIM:
Pathway Modeling and Problem Solving Environments Cliff Shaffer Department of Computer Science Virginia Tech Blacksburg, VA
Introduction to Systems Analysis and Design Trisha Cummings.
Chapter 2: Approaches to System Development
Overview of the Database Development Process
INTRODUCING SCA Byungwook Cho Nov.2007.
The DARPA BioSPICE Project Clifford A. Shaffer Department of Computer Science Virginia Tech.
Chapter 2 The process Process, Methods, and Tools
Lecture 3: Pathway Generation Tool I: CellDesigner: A modeling tool of biochemical networks Y.Z. Chen Department of Pharmacy National University of Singapore.
Web Services Experience Language Web Services eXperience Language Technical Overview Ravi Konuru e-Business Tools and Frameworks,
Converting Macromolecular Regulatory Models from Deterministic to Stochastic Formulation Pengyuan Wang, Ranjit Randhawa, Clifford A. Shaffer, Yang Cao,
Computer Science 101 Database Concepts. Database Collection of related data Models real world “universe” Reflects changes Specific purposes and audience.
Requirements Engineering Requirements Elicitation Process Lecture-8.
The european ITM Task Force data structure F. Imbeaux.
Assessing the influence on processes when evolving the software architecture By Larsson S, Wall A, Wallin P Parul Patel.
1 Advanced Software Architecture Muhammad Bilal Bashir PhD Scholar (Computer Science) Mohammad Ali Jinnah University.
BioSPICE and Problem-Solving Environments for Systems Biology Clifford A. Shaffer Department of Computer Science Virginia Tech.
Aggregation Connector: A Tool for Building Large Molecular Network Models from Components Thomas C. Jones Jr 1, Clifford A. Shaffer 1, Alida Palmisano.
User Interface Paradigms for Describing Pathway Models Cliff Shaffer Department of Computer Science Virginia Tech.
+ Information Systems and Databases 2.2 Organisation.
The ERATO Systems Biology Workbench: Enabling Interaction and Exchange Between Tools for Computational Biology Michael Hucka, Andrew Finney, Herbert Sauro,
Chapter 4 enterprise modeling
Introduction to VHDL Simulation … Synthesis …. The digital design process… Initial specification Block diagram Final product Circuit equations Logic design.
Systems Biology Markup Language Ranjit Randhawa Department of Computer Science Virginia Tech.
© 2006 Pearson Addison-Wesley. All rights reserved 2-1 Chapter 2 Principles of Programming & Software Engineering.
Composition in Modeling Macromolecular Regulatory Networks Ranjit Randhawa September 9th 2007.
Topic 4 - Database Design Unit 1 – Database Analysis and Design Advanced Higher Information Systems St Kentigern’s Academy.
Fusing and Composing Macromolecular Regulatory Network Models Ranjit Randhawa* Clifford A. Shaffer* John J. Tyson + Departments of Computer Science* and.
Systems Analysis and Design 8th Edition
Model Composition Andrew Finney No relevant affiliation.
Software Architecture in the Future 1960s. Assembly languages, subroutines, semicolon as connectors 1970s. Structuring of programs to achieve qualities.
JigCell Nicholas A. Allen*, Kathy C. Chen**, Emery D. Conrad**, Ranjit Randhawa*, Clifford A. Shaffer*, John J. Tyson**, Layne T. Watson* and Jason W.
IGEM 2008 Tutorial Modeling. What? Model A model in science is a physical, mathematical, or logical representation of a system of entities, phenomena,
Entity Relationship Diagram (ERD). Objectives Define terms related to entity relationship modeling, including entity, entity instance, attribute, relationship.
Winter 2007SEG2101 Chapter 121 Chapter 12 Verification and Validation.
Composition and Aggregation for Molecular Network Modeling Ranjit Randhawa*, Cliff A. Shaffer* and John J. Tyson** Departments of Computer Science* and.
Your Interactive Guide to the Digital World Discovering Computers 2012 Chapter 12 Exploring Information System Development.
Science and Engineering Practices K–2 Condensed Practices3–5 Condensed Practices6–8 Condensed Practices9–12 Condensed Practices Developing and Using Models.
SysML and Modelica Integration Working Group Meeting 3/11/09 Peter Fritzson Wladimir Schamai.
Fundamentals of Information Systems, Sixth Edition
Object-Oriented Analysis and Design
Presented by Munezero Immaculee Joselyne PhD in Software Engineering
Iterative design and prototyping
Distribution and components
Object oriented system development life cycle
Pathway Modeling and Problem Solving Environments
Composition and Aggregation for Biological Pathway Modeling
Runs, Parameter Sets, Outputs and Projects
Authors: Barry Smyth, Mark T. Keane, Padraig Cunningham
Paper by D.L Parnas And D.P.Siewiorek Prepared by Xi Chen May 16,2003
CS334: Logisim program lab6
Estimating Rate Constants in Cell Cycle Models
Function-oriented Design
Presentation transcript:

Composition and Aggregation in Modeling Regulatory Networks Clifford A. Shaffer* Ranjit Randhawa* John J. Tyson + Departments of Computer Science* and Biology + Virginia Tech Blacksburg, VA 24061

Regulatory Network Modeling Wish to deduce physiological properties of a cell from wiring diagrams of control systems

Frogegg Model

Budding Yeast Model Wiring diagrams are converted to reactions for simulation Example: Chen and Tyson’s budding yeast model contains over 30 ODEs, some nonlinear. About 140 rate constant parameters Validate model by comparing simulation results against morphological outcomes from over 100 mutants defective in the regulatory network.

Budding Yeast Model

Problem These models are reaching the limits of human comprehension Making the model suitable for stochastic simulation increases the number of reactions by a factor of 3-5. Models of the Mammalian cell cycle will require (more for stochastic simulation).

Solution Some mechanism must be found to describe models as collections of small building blocks that are combined to form the full model.

Systems Biology Markup Language SBML is the current standard interchange language within the community of systems biology modelers. We implement our proposals within the context of SBML language additions.

Prior Efforts Others (Finney; Ginkel; Schroder&Weimar; Webb) have made proposals for model decomposition within SBML. These various proposals for have never been implemented. A major problem appears to be that they view model decomposition as one monolithic problem to solve. There are actually various distinct mechanisms involved.

Our Approach We recognize four distinct activities related to model decomposition Fusion: Take existing models and merge them Composition: Build up from existing models, no information hiding Aggregation: Build up from building blocks, controlled interfaces Flattening: Merge the building blocks back into a “flat” (non-composed) model (for making simulation runs)

Relationships

Fusion Given two or more existing models, we wish to create a new model that combines the information. Remains standard SBML We provide a tool to support users combining models. Implemented in “wizard” style Status: Prototype

Fusion: Matching Tables Fusion is done primarily by defining matching of SBML components Compartments, reactions, species, etc. A series of matching tables Order is important to deal with dependencies mfmf m1m1 m2m2 1AAA 2BB 3DD mfmf m1m1 m2m2 1A1A 2CBD 3A2A

Fusion Tool Setup Wizard

Species Mapping Table

Reaction Mapping Table

Composition Connects submodels together to form a hierarchy of models Submodels are each valid SBML models Add language features to SBML to support composition Describe hierarchy Describe interactions, links, replacements No information hiding within models Relationship to fusion: the mappings are the glue.

Composition Hierarchy <compartment id="comp2" volume="1"/>

Links <to object="Submodel_Little" Issue: Merge or replace attribute information?

Is Composition the Right Model? Composition allows us to take existing models and use them as components to build larger models No information hiding Submodels might fit together more or less well Links let us replace things in one model with things in another Good for legacy models(?) We might do better to build models from components designed to work as components, with proper information hiding.

Aggregation In aggregation, models are built up from components Each component could be, for example, a collection of reactions This collection exposes certain variables for input/output via “ports” Hopefully this is a natural concept for modelers Not intended as a solution for reusing legacy models.

Toggle Switch

Iconified Toggle Switch

Toggle Switch Component

Flattening Flattening generates a standard SBML file from our modified file, for the purpose of running simulations, etc. An automated form of fusion. The composition/aggregation language features provide what the user would provide during fusion, so automation is possible.