A collaborative, cloud-based software platform being developed for modeling complex cell signaling pathways. This platform implemented a stochastic modeling approach underpinned by a rigorous semantic formalism that made possible a set of powerful static analyses of the modeled systems.