Research Article
A flexible architecture for performance experiments with the pi-Calculus and its extensions
@INPROCEEDINGS{10.4108/ICST.SIMUTOOLS2010.8820, author={Stefan Leye and Mathias John and Adelinde M. Uhrmacher}, title={A flexible architecture for performance experiments with the pi-Calculus and its extensions}, proceedings={3rd International ICST Conference on Simulation Tools and Techniques}, publisher={ICST}, proceedings_a={SIMUTOOLS}, year={2010}, month={5}, keywords={Process algebra pi-Calculus Discre-event simulation Simulation environment Software}, doi={10.4108/ICST.SIMUTOOLS2010.8820} }- Stefan Leye
Mathias John
Adelinde M. Uhrmacher
Year: 2010
A flexible architecture for performance experiments with the pi-Calculus and its extensions
SIMUTOOLS
ICST
DOI: 10.4108/ICST.SIMUTOOLS2010.8820
Abstract
The π-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 π-Calculus-based modeling and simulation, which supports both flexibility and efficiency. Facilitating the design of new π-Calculus-based formalisms and simulators is of particular relevance in the field of computational systems biology, for which many different π-Calculus dialects and simulators have been and still are being developed. Therefore, a flexible representation of π-Calculus models is used, which is illustrated by a mapping from the biochemical variant of the π-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.
