Modeling biological complexity using Biology System Description Language (BiSDL)

The Nets-within-Nets formalism (NWN) allows to model complex biological systems expressing hierarchy, encapsulation, selective communication, spatiality, quantitative mechanisms, and stochasticity. To make NWN usable by life science researchers as well as systems biologists, we introduce a new human-readable description language able to express these same NWN model properties, at different levels of abstraction. BiSDL (Biology Systems Description Language) is derived from the VHDL specification, a standard description language for hardware systems. In this paper we chose a simple signaling pathway example to show how BiSDL enables modeling complex biological systems by separating the behavioral model from the architectural details.