3rd International ICST Conference on Simulation Tools and Techniques

Research Article

A flexible architecture for performance experiments with the pi-Calculus and its extensions

Download635 downloads
  • @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
Stefan Leye1,*, Mathias John1,*, Adelinde M. Uhrmacher1,*
  • 1: Institute of Computer Science, Albert-Einstein-Str. 21, 18059 Rostock, Germany.
*Contact email: stefan.leye@unirostock.de, mathias.john@unirostock.de, adelinde.uhrmacher@unirostock.de

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.