Skip to content. | Skip to navigation

Personal tools

Stefan Leye, Mathias John, and Adelinde M Uhrmacher (2010)

A Flexible Architecture for Performance Experiments with the pi-Calculus and its Extensions

In: 3rd International ICST Conference on Simulation Tools and Techniques, pp. 35:1–35:10, ICST, Malaga, Spain, ICST/IEEE.

The pi-Calculus is a modeling formalism for concurrent processes. Realized as part of the plug-in based modeling and simulation framework James II, we propose an architecture for pi-Calculus-based modeling and simulation, which supports both flexibility and efficiency. Facilitating the design of new pi-Calculus-based formalisms and simulators is of particular relevance in the field of computational systems biology, for which many different pi-Calculus dialects and simulators have been and still are being developed. Therefore, a flexible representation of pi-Calculus models is used, which is illustrated by a mapping from the biochemical variant of the pi-Calculus to the representation. Simulation engines are exchangeable and even automatically configurable according to the task at hand. Moreover, we present three different simulator implementations, working on the model representation. Efficiency denotes that our architecture supports the implementation of high-performance simulators. In order to assess efficiency, we perform experiments with these simulators and compare the results to the current cutting edge implementation in the field, the Stochastic Pi Machine.

Document Actions