Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS

ABSTRACT

The goal of Systems Biology is to analyze the behavior and interrelationships between entities of entire functional biological systems. Discrete event approaches are of particular interest if small numbers of entities, like DNA molecules, shall be modeled. Two general approaches toward discrete event modeling and simulation are presented. They provide rather different perspectives on the system to be modeled, as is illustrated based on a model of the Trypophan Operon. Whereas in Devs distinctions are emphasized, e.g. between system and its environment, between structural and non structural changes, between properties attributed to a system and the system itself, these distinctions become fluent in the compact description of the π-Calculus. However, both share the problem that in order to support a comfortable modeling, adaptations and extensions according to the concrete requirements of this challenging application area are needed.

REFERENCES

• 1: Fernando J. Barros, Modeling formalisms for dynamic structure systems, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.7 n.4, p.501-515, Oct. 1997 [doi>10.1145/268403.268423]
• 2: Carmen-Veronica Bobeanu , Eugene J. H. Kerckhoffs , Hendrik Van Landeghem, Modeling of discrete event systems: A holistic and incremental approach using Petri nets, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.14 n.4, p.389-423, October 2004 [doi>10.1145/1029174.1029178]
• 3: Borland, S., and H. Vangheluwe. 2003. Transforming statecharts to DEVS. In Summer Computer Simulation Conference. Student Workshop, ed. A. Bruzzone and M. Itmi, 154--159: SCS.
• 4: Luca Cardelli , Andrew D. Gordon, Mobile ambients, Theoretical Computer Science, v.240 n.1, p.177-213, June 6 2000 [doi>10.1016/S0304-3975(99)00231-5]
• 5: Cowan, R. 2003. Stochastic models for DNA replication. In Stochastic Processes, ed. D. Shanbhag and C. Rao, Handbook of Statistics, Chapter 4.
• 6: de Jong, H. 2002. Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology 9 (1): 67--103.
• 7: Degenring, D., J. Lemcke, M. Röhl, and A. Uhrmacher. 2005. A variable structure model - the tryptophan operon. In CMSB, ed. G. Plotkin.
• 8: Degenring, D., M. Röhl, and A. Uhrmacher. 2004. Discrete event, multi-level simulation of metabolite channeling. BioSystems 75 (1--3): 29--41.
• 9: Efroni, S., D. Harel, and I. Cohen. 2003. Towards rigorous comprehension of biological complexity: Modeling, execution and visualization of thymic t cell maturation. Genome Research (13): 2485--2497.
• 10: Sol Efroni , David Harel , Irun R. Cohen, Reactive Animation: Realistic Modeling of Complex Dynamic Systems, Computer, v.38 n.1, p.38-47, January 2005 [doi>10.1109/MC.2005.31]
• 11: Gibson, M. A., and J. Bruck. 2000. EfficientExact Stochastic Simulation of Chemical Systems with Many Species and Many Channels. Journal of Physical Chemistry A 104 (9): 1876--1889.
• 12: Gillespie, D. T. 1977. Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry B 81 (25): 2340--2361.
• 13: Haas, P. 2002. Stochastic petri nets: Modelling, stability, simulation. Springer.
• 14: Jan Himmelspach , Adelinde M. Uhrmacher, A component-based simulation layer for JAMES, Proceedings of the eighteenth workshop on Parallel and distributed simulation, May 16-19, 2004, Kufstein, Austria [doi>10.1145/1013329.1013349]
• 15: Kuo, D., and J. D. Keasling. 1996. A Monte Carlo simulation of plasmid replication during the bacterial division cycle. Biotechnology and Bioengineering 52 (6): 633--647.
• 16: Kuttler, C. 2005. Bacterial transcription in the pi calculus. In CMSB, ed. G. Plotkin.
• 17: Kuttler, C. to appear. The role of the attenuation of the tryptophan operon in the pi calculus. in preparation.
• 18: Lecca, P., C. Priami, P. Quaglia, B. Rossi, C. Laudanna, and G. Constantin. 2004. Language Modelling and Simulation of Autoreactive Lymphocytes Recruitment in Inflamed Brain Vessels. SCS Simulation 80:273--288.
• 19: Robin Milner, Communicating and mobile systems: the &pgr;-calculus, Cambridge University Press, New York, NY, 1999
• 20: Phillips, A., and L. Cardelli. 2004. A correct abstract machine for the stochastic pi-calculus. In BioConcur 2004: Electronic Notes in Theoretical Computer Science.
• 21: Priami, C. 1995. Stochastic π-calculus. The Computer Journal:578--589.
• 22: Priami, C., and P. Quaglia. 2005. Beta binders for biological interactions. Transactions on Computational Systems Biology.
• 23: Ramsey, S., D. Orell, and H. Bolouri. 2005. Dizzy: Stochastic simulation of large scale genetic regulatory networks. Journal of Bioinformatics and Computational Biology.
• 24: Regev, A. 2001. Representation and simulation of molecular pathways in the stochastic pi-calculus. In Proceedings of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks.
• 25: Aviv Regev , Ekaterina M. Panina , William Silverman , Luca Cardelli , Ehud Shapiro, BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, v.325 n.1, p.141-167, 28 September 2004 [doi>10.1016/j.tcs.2004.03.061]
• 26: Santill'an, M., and M. C. Mackey. 2001. Dynamic regulation of the tryptophan operon: A modeling study and comparison with experimental data. Proc. of the Nat. Acad. of Sciences of the USA 98 (4): 1364--1369.
• 27: A. M. Uhrmacher, Dynamic structures in modeling and simulation: a reflective approach, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.11 n.2, p.206-232, April 2001 [doi>10.1145/384169.384173]
• 28: Wolkenhauer, O. 2001. Systems biology: the reincarnation of systems theory applied in the biology? Briefings in Bioinformatics 2 (3): 258--270.
• 29: Zeigler, B. 1986. Toward A Simulation Methodology for Variable Structure Modeling. In Modelling and Simulation Methodology in the Artificial Intelligence Era, 195--210. Amsterdam: North Holland.
• 30: Bernard P. Zeigler , Tag Gon Kim , Herbert Praehofer, Theory of Modeling and Simulation, Academic Press, Inc., Orlando, FL, 2000