Refitting harel statecharts for systemic mathematical models in computational immunology

Authors:
Chris H. McEwan;Hugues Bersini;David Klatzmann;Veronique Thomas- Vaslin;Adrien Six
Affiliations:
UPMC Univ Paris 06, UMR, Paris, France and CNRS, UMR, Paris, France;IRIDIA Université Libre de Bruxelles, Brussels, Belgium;UPMC Univ Paris 06, UMR, Paris, France;UPMC Univ Paris 06, UMR, Paris, France;UPMC Univ Paris 06, UMR, Paris, France
Venue:
ICARIS'11 Proceedings of the 10th international conference on Artificial immune systems
Year:
2011

Citing 3
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Statecharts in the making: a personal account

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Concurrency in Biological Modeling: Behavior, Execution and Visualization

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.