Refitting harel statecharts for systemic mathematical models in computational immunology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6825 LNCS, Issue , 2011, Pages 44-50

  McEwan, Chris H ^a,b   Bersini, Hugues ^c   Klatzmann, David ^a   Thomas Vaslin, Vernique ^a   Six, Adrien ^a  

^a SORBONNE UNIVERSITÉ   (France)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^c UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMICAL REACTIONS; COMPUTER SCIENTISTS; GRAPHICAL METHODS; HAREL STATECHARTS; MULTI-LEVEL INTERACTIONS; SYSTEMS APPROACH; SYSTEMS BIOLOGY;

FINITE AUTOMATA; IMMUNOLOGY;

MATHEMATICAL MODELS;

EID: 79960354514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22371-6_4     Document Type: Conference Paper

References (10)

1. Efroni, S., Harel, D., Cohen, I.R.: Emergent dynamics of thymocyte development and lineage determination. PLoS Computational Biology 3(1) 13 (2007)
2. Harel, D.: Concurrency in Biological Modeling: Behavior, Execution and Visualization. Electronic Notes in Theoretical Computer Science 194(3), 119-131 (2008)
3. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231-274 (1987)
4. 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)
5. 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)
6. 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)
7. Otto, S.P., Day, T.: A biologist's guide to mathematical modeling in ecology and evolution. Princeton University Press, Princeton (2007)
8. Shin, Y.-J., Nourani, M.: Statecharts for gene network modeling. PLoS ONE 5(2) (2010)
9. Swerdlin, B.N., Cohen, I.R., Harel, D.: The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico. Proceedings of the IEEE (2008)
10. 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)