1 / 18

Modeling Static Biological Compartments with Beta-binders

Modeling Static Biological Compartments with Beta-binders. Maria Luisa Guerriero 1 Corrado Priami 1,2 Alessandro Romanel 1,2 1 ICT Dept., University of Trento, Italy 2 The Microsoft Research-University of Trento Centre for Computational and Systems Biology, Italy. Outline of the talk.

posy
Télécharger la présentation

Modeling Static Biological Compartments with Beta-binders

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Modeling Static Biological Compartments with Beta-binders Maria Luisa Guerriero1 Corrado Priami1,2 Alessandro Romanel1,2 1 ICT Dept., University of Trento, Italy 2 The Microsoft Research-University of Trento Centre for Computational and Systems Biology, Italy M.L. Guerriero - AB 2007, Hagenberg, Austria

  2. Outline of the talk • Introduction to process algebra and Beta-binders • Beta-binders extensions • Compartments • Localities and locality analysis • An example • Conclusions and future work M.L. Guerriero - AB 2007, Hagenberg, Austria

  3. Process algebras • Languages for modeling concurrent systems • System components are concurrent interacting processes • Pairs of components synchronize by means of complementary input/output actions • Examples: biochemical stochastic п-calculus, BioAmbients, Brane calculus, Beta-binders • Tools and successful applications to biology M.L. Guerriero - AB 2007, Hagenberg, Austria

  4. Beta-binders: an overview • Language of concurrent interacting processes with typed interaction sites • The Abstraction: M.L. Guerriero - AB 2007, Hagenberg, Austria

  5. Interface: interactions Body: internal behavior Beta-binders processes Bio-process Two levels of concurrency: bio-processes and pi-processes P M.L. Guerriero - AB 2007, Hagenberg, Austria

  6. Beta-binders operations • Input/output communications • Operations on interfaces • Merging/splitting of processes intra P’|Q’ P|Q inter P Q P’ Q’ M.L. Guerriero - AB 2007, Hagenberg, Austria

  7. Operations on interfaces expose P P’ hide unhide P’’ P P’ M.L. Guerriero - AB 2007, Hagenberg, Austria

  8. Merging/splitting of processes split P Q R join Q P R M.L. Guerriero - AB 2007, Hagenberg, Austria

  9. B’ B B’’ Compartments: motivations • Beta-binders forbids nesting of bio-processes • Typing of sites virtual nesting • Problem: • Analysis of spatial distribution of objects M.L. Guerriero - AB 2007, Hagenberg, Austria

  10. Compartments hierarchy • i-components (internal to compartments) • b-components (on membranes) 0 0,0 0,1 0,2 0,1,0 M.L. Guerriero - AB 2007, Hagenberg, Austria

  11. Communications and movements • A bio-process can interact with others residing in the same compartment or on its borders • Movement of i-components among compartments: mediated by b-components M.L. Guerriero - AB 2007, Hagenberg, Austria

  12. Movement operations P move 0,0 0,0 Q Q’ 0 in P’ 0,0 P’ move 0,0 0,0 Q Q’ 0 out P 0,0 M.L. Guerriero - AB 2007, Hagenberg, Austria

  13. Localities • Labels on bio-processes: uniquely identify them • Labels on transitions: • Which action is executed? • Which bio-process executes it? • In which compartment it occurs? B1 ||0 B2 B3 ||1 ||0 ||1 ||1 M.L. Guerriero - AB 2007, Hagenberg, Austria

  14. Locality analysis • Compartments locality relations on transitions φi and φj • Analysis of labels κ(φi ) and κ(φj ) • same-compartment κ(φi ) = κ(φj ) • son-father κ(φj ), m = κ(φi ) • father-son κ(φi ), m = κ(φj ) • sub-compartment • super-compartment • Inter-box locality relation on transitions φi and φj • Analysis of labels θ(φi ) and θ(φj ) • same-box M.L. Guerriero - AB 2007, Hagenberg, Austria

  15. cAMP-signalling pathway in OSNs M.L. Guerriero - AB 2007, Hagenberg, Austria

  16. Conclusions • Beta-binders: modeling, analysis and simulation of biological systems • Compartments: representation of static biological compartments, membrane proteins, and movement of molecules across membranes • Locality analysis: spatial relations between entities and between events M.L. Guerriero - AB 2007, Hagenberg, Austria

  17. Future work • Dynamic compartments (creation, destruction, merging, movement of compartments, etc.) • Distinction of transmembrane proteins, internal/external side of membranes • Position of proteins within membranes • Implementation within the Beta Workbench M.L. Guerriero - AB 2007, Hagenberg, Austria

  18. Thank you! M.L. Guerriero - AB 2007, Hagenberg, Austria

More Related