Uhrmacher, Adelinde M. and Himmelspach, Jan and Jeschke, Matthias and John, Mathias and Leye, Stefan and Maus, Carsten and Röhl, Mathias and Ewald, Roland (2008) One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. In: 1st International Workshop Formal Methods in Systems Biology, FMSB 2008, June 4-5, Cambridge, UK. Proceedings,, pp. 123-138.
Full text not available from this repository.Abstract
Diverse modelling formalisms are applied in Computational Biology. Some describe the biological system in a continuous manner, others focus on discrete-event systems, or on a combination of continuous and discrete descriptions. Similarly, there are many simulators that support different formalisms and execution types (e.g. sequential, parallel-distributed) of one and the same model. The latter is often done to increase efficiency, sometimes at the cost of accuracy and level of detail. James II has been developed to support different modelling formalisms and different simulators and their combinations. It is based on a plug-in concept which enables developers to integrate spatial and non-spatial modelling formalisms (e.g. stochastic π calculus, Beta binders, Devs, space- π), simulation algorithms (e.g. variants of Gillespie’s algorithms (including Tau Leaping and Next Subvolume Method),space- π simulator, parallel Beta binders simulator) and supporting technologies (e.g. partitioning algorithms, data collection mechanisms, data structures, random number generators) into an existing framework. This eases method development and result evaluation in applied modelling and simulation as well as in modelling and simulation research.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Projects: | GRK dIEM oSiRiS, DiErMoSiS |
