A Bounded-Optimistic, Parallel Beta-Binders Simulator

Leye, Stefan and Uhrmacher, Adelinde M. and Priami, Corrado (2008) A Bounded-Optimistic, Parallel Beta-Binders Simulator. In: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008, October 27-29, Vancouver, BC, Canada. Proceedings,, pp. 139-148.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/DS-RT.2008.32


Compartments play an important role in molecular and cell biology modeling, which motivated the development of BETA-BINDERS, a formalism which is an extension of the pi-CALCULUS. To execute BETA-BINDERS models, sophisticated simulators are required to ensure a sound and efficient execution. Parallel and distributed simulation represents one means to achieve the later. However, stochastically scheduled events hamper the definition of look aheads for a conservative parallel synchronization scheme, while an optimistic parallel simulation implies expensive rollback operations due to the dynamic structures of BETABINDERS models. Therefore, a time-bounded window approach is suggested, which allows the different logical processes to proceed optimistically up to a barrier. Rollbacks are thus temporally constrained. In addition, the dynamic structure of BETA-BINDERS models requires a special state handling. BETA-BINDERS models and states are represented as tree structures to facilitate state updates and rollbacks by the simulation engine.

Item Type: Conference or Workshop Item (Paper)
Projects: GRK dIEM oSiRiS