Abstract
In this abstract we report progress in applying techniques, traditionally used by computer scientists in specifying finite state machines, to concisely express complex mathematical models. These techniques complement existing graphical methods in Systems Biology by allowing a systems approach to be taken at a coarser granularity than biochemical reactions – where parallel, multi-level interactions within and between systems must be communicated and simulated.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Efroni, S., Harel, D., Cohen, I.R.: Emergent dynamics of thymocyte development and lineage determination. PLoS Computational Biology 3(1) 13 (2007)
Harel, D.: Concurrency in Biological Modeling: Behavior, Execution and Visualization. Electronic Notes in Theoretical Computer Science 194(3), 119–131 (2008)
Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
Harel, D.: Statecharts in the Making: A Personal Account. In: HOPL III Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages (2007)
Kitano, H., Funahashi, A., Matsuoka, Y., Oda, K.: Using process diagrams for the graphical representation of biological networks. Nature Biotechnology 23(8), 961–966 (2005)
McEwan, C.H., Bersini, H., Klatzmann, D., Thomas-Vaslin, V., Six, A.: A computational technique to scale mathematical models towards complex heterogeneous systems. Submitted to COSMOS 2011 Workshop on Complex Systems Modelling (2011)
Otto, S.P., Day, T.: A biologist’s guide to mathematical modeling in ecology and evolution. Princeton University Press, Princeton (2007)
Shin, Y.-J., Nourani, M.: Statecharts for gene network modeling. PLoS ONE 5(2) (2010)
Swerdlin, B.N., Cohen, I.R., Harel, D.: The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico. Proceedings of the IEEE (2008)
Thomas-Vaslin, V., Altes, H.K., de Boer, R.J., Klatzmann, D.: Comprehensive Assessment and Mathematical Modeling of T Cell Dynamics and Homeostasis. The Journal of Immunology 180, 2240–2250 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McEwan, C.H., Bersini, H., Klatzmann, D., Thomas-Vaslin, V., Six, A. (2011). Refitting Harel Statecharts for Systemic Mathematical Models in Computational Immunology. In: Liò, P., Nicosia, G., Stibor, T. (eds) Artificial Immune Systems. ICARIS 2011. Lecture Notes in Computer Science, vol 6825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22371-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-22371-6_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22370-9
Online ISBN: 978-3-642-22371-6
eBook Packages: Computer ScienceComputer Science (R0)