A Bounded-Optimistic, Parallel Beta-Binders Simulator

• Published in: 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications pp. 139 - 148
• Main Authors: Leye, S., Uhrmacher, A.M., Priami, C.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.10.2008
• Subjects: Application software; Biological cells; Biological system modeling; Computational modeling; Computer science; Computer simulation; Discrete event simulation; Dynamic scheduling; parallel and distributed simulation; process algebra; Time of arrival estimation; Tree data structures
• ISBN: 0769534252; 9780769534251
• ISSN: 1550-6525
• DOI: 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.