Concurrency in Biological Modeling: Behavior, Execution and Visualization

Electronic Notes in Theoretical Computer Science

Volumn 194, Issue 3, 2008, Pages 119-131

  Harel, David ^a   Setty, Yaki ^a   Efroni, Sol ^b   Swerdlin, Naamah ^a   Cohen, Irun R ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b NATIONAL CANCER INSTITUTE   (United States)

Author keywords

biological modeling; concurrent modeling; Reactive Animation; reactive systems; statecharts

Indexed keywords

ABSTRACTING; ANIMATION; COMPUTER SIMULATION; IMMUNOLOGY; MAMMALS; VISUALIZATION;

BIOLOGICAL MODELING; CONCURRENT MODELING; REACTIVE ANIMATION; REACTIVE SYSTEMS; STATECHARTS;

BIOLOGICAL SYSTEMS;

EID: 38649131951     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.12.009     Document Type: Article

References (39)

1. Amir-Kroll, H., A. Sadot, I. Cohen and D. Harel, GemCell: A Generic Platform for Modeling Multi-Cellular Biological Systems, T. Comp. Sys. Biology to appear (2007)
2. Brooks R.A. Elephants Don't Play Chess. Robotics and Autonomous Systems 6 (1990) 3-15
3. Cardelli L. Abstract Machines of Systems Biology. T. Comp. Sys. Biology 3 (2005) 145-168
4. Cohen I.R., and Harel D. Explaining a Complex Living System: Dynamics, Multi-scaling and Emergence. J. R. Soc. Interface 4 (2007) 175-182
5. Damm, W. and D. Harel, LSC's: Breathing Life into Message Sequence Charts, in: P. Ciancarini, A. Fantechi and R. Gorrieri, editors, Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99) (1999)
6. Efroni S., Harel D., and Cohen I.R. Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation. Genome Research 13 (2003) 2485-2497
7. Efroni S., Harel D., and Cohen I.R. Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer 38 (2005) 38-47
8. Efroni S., Harel D., and Cohen I.R. Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput. Biol. 3 (2007) 127-136
9. Finkelstein A., Hetherington J., Li L., Margoninski O., Saffrey P., Seymour R., and Warner A. Computational Challenges of Systems Biology. IEEE Computer 37 (2004) 26-33
10. Fisher, J. and T.A. Henzinger, Executable Biology, in: WSC '06: Proc. of the 38th conference on Winter simulation (2006), pp. 1675-1682
11. Ghosh R., and Tomlin C. Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling. Syst. Biol. (Stevenage) 1 (2004) 170-183
12. Harel D. Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Programming 8 (1987) 231-274
13. Harel D. A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal. Bulletin of the EATCS 81 (2003) 226-235
14. Harel D., and Pnueli A. On the Development of Reactive Systems. In: Apt K.R. (Ed). Logics and Models of Concurrent Systems. NATO ASI Series F-13 (1985) 477-498 New York
15. Harel D., Efroni S., and Cohen I.R. Reactive Animation. Proc. 1st Int. Symposium on Formal Methods for Components and Objects. (FMCO 2002). Lecture Notes in Computer Science 2852 (2003) 136-153
16. Harel D., and Gery E. Executable Object Modeling with Statecharts. IEEE Computer (1997) 31-42 also in
17. Harel D., and Gery E. Executable Object Modeling with Statecharts. Proc. 18th Int. Conf. Soft. Eng. Berlin (March, 1996), IEEE Press 246-257
18. Harel D., and Marelly R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine (2003), Springer-Verlag
19. Harel, D. and Y. Setty, Generic and Multi-Party Reactive Animation, submitted
20. Heath J., Kwiatkowska M., Norman G., Parker D., and Tymchyshyn O. Probabilistic Model Checking of Complex Biological Pathways. In: Priami C. (Ed). Proc. Computational Methods in Systems Biology. (CMSB'06). Lecture Notes in Bioinformatics 4210 (2006) 32-47
21. Jensen J. Gene Regulatory Factors in Pancreatic Development. Dev. Dyn. 229 (2004) 176-200
22. Kam, N., D. Harel, H. Kugler, R. Marelly, A. Pnueli, E. Hubbard and M. Stern, Formal Modeling of C. elegans Development: A Scenario-Based Approach, in: C. Priami, editor, Proc. Int. Workshop on Computational Methods in Systems Biology (CMSB 2003) (2003), pp. 4-20
23. Kim S.K., and MacDonald R.J. Signaling and transcriptional control of pancreatic organogenesis. Curr. Opin. Genet. Dev. 12 (2002) 540-547
24. Noble D. The heart is already working. Biochem. Soc. Trans. 33 (2005) 539-542
25. Plotkin J., Prockop S., Lepique A., and Petrie H. Critical Role for CXCR4 Signaling in Progenitor Localization and T Cell Differentiation in the Postnatal Thymus. J. Immunol. 171 (2003) 4521-4527
26. Priami C., and Quaglia P. Modelling the dynamics of biosystems. Briefings in Bioinformatics 5 (2004) 259-269
27. Regev A., and Shapiro E. Cellular abstractions: Cells as computation. Nature 419 (2002) 343
28. Regev, A., W. Silverman and E. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, in: Pacific Symposium on Biocomputing, 2001, pp. 459-470
29. Roux-Rouquié, M. and D.S. da Rosa, Ten Top Reasons for Systems Biology to Get into Model-Driven Engineering, in: GaMMa '06: Proc. of the 2006 international workshop on Global integrated model management (2006), pp. 55-58
30. Sadot, A., J. Fisher, D. Barak, Y. Admanit, M.J. Stern, E.J.A. Hubbard and D. Harel, Towards Verified Biological Models, IEEE/ACM Trans. Comput. Biology and Bioinformatics to appear (2007)
31. Setty, Y., I.R. Cohen, Y. Dor and D. Harel, Four-Dimensional Realistic Modeling of Pancreatic Organogenesis, submitted
32. Swerdlin, N., I. Cohen and D. Harel, The Lymph Node B Cell Immune Response: Dynamic Analysis in-silico, submitted
33. Taubner, C. and T. Merker, Discrete Modelling of the Ethylene-Pathway, in: ICDEW '05: Proceedings of the 21st International Conference on Data Engineering Workshops (2005), p. 1152
34. TeleLogic,Inc. www.ilogix.com
35. Turing A.M. The Chemical Basis of Morphogenesis. Philos. Trans. R. Soc. London B 237 (1952) 37-72
36. Turing A.M. The Chemical Basis of Morphogenesis. 1953. Bull. Math. Biol. 52 (1990) 153-197 discussion 119-152
37. Webb, K. and T. White, Cell Modeling using Agent-based Formalisms, in: AAMAS '04: Proc. of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (2004), pp. 1190-1196
38. Webb, K. and T. White, Combining Analysis and Synthesis in a Model of a Biological Cell, in: SAC '04: Proc. of the 2004 ACM symposium on Applied computing (2004), pp. 185-190
39. Webb K., and White T. Cell Modeling with Reusable Agent-based Formalisms. Applied Intelligence 24 (2006) 169-181