SPiC-MAS: A Multiagent Simulation of Stochastic pi-calculus Models

The biological systems’ study is booming. Some scientists use well known mathematical tools such as differential equations while others use graphs or other formalisms. Since the 2000’s, new models are more and more used: process algebras. These algebras allow to model the biological systems at the scale of the components. Another individual-centered paradigm, very used in computer science, is the multiagent paradigm. We present in this paper a simulation method of stochastic π-calculus models with a multiagent platform. The implementation of this method led us to the realization of the SPiC-MAS software. The robustness and the adaptability of MultiAgent Systems allow to the user of this software to do genuine experiments in the computing and virtual world: “In Virtuo”.

[1]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[2]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[3]  Luca Cardelli,et al.  A Correct Abstract Machine for the Stochastic Pi-calculus , 2004 .

[4]  Marcin Paprzycki,et al.  Distributed Computing: Fundamentals, Simulations and Advanced Topics , 2001, Scalable Comput. Pract. Exp..

[5]  Vincent Rodin,et al.  Uses of multiagents systems for simulation of MAPK pathway , 2003, Third IEEE Symposium on Bioinformatics and Bioengineering, 2003. Proceedings..

[6]  Pierre Chevaillier,et al.  oRis : un environnement de simulation interactive multi-agents , 2002, Tech. Sci. Informatiques.

[7]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[8]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[9]  Alan Bain.  Stochastic Calculus , 2007 .

[10]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[11]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[12]  Vincent Rodin,et al.  Simulation of thrombin generation during plasmatic coagulation and primary hemostasis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[13]  Howard Rheingold,et al.  Virtual Reality , 1991 .

[14]  Yves Demazeau,et al.  FROM INTERACTIONS TO COLLECTIVE BEHAVIOUR IN AGENT-BASED SYSTEMS , 1995 .

[15]  Aviv Regev,et al.  The π-calculus as an Abstraction for Biomolecular Systems , 2004 .

[16]  Vincent Rodin,et al.  The Virtual Reality applied to the biology understanding: the in virtuo experimentation , 2017 .

[17]  J. V. Rauff,et al.  Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence , 2005 .

[18]  Luca Cardelli,et al.  A Graphical Representation for the Stochastic Pi-calculus , 2005 .

[19]  V. Hakim,et al.  Design of genetic networks with specified functions by evolution in silico. , 2004, Proceedings of the National Academy of Sciences of the United States of America.