A computational modeling language for complex laboratory experiments

To capture the richer notion of state dependent conditional commands, which need to be evaluated periodically, we must define a system of multi-level semantics consisting of two layers: World Level Semantics and Individual Level Semantics. Both levels take turns to evaluate their respective domains. The World Level Semantics evaluates the aforementioned when-run conditional commands, while the Individual Level Semantics simulates reactions, entity movement, and maintains the simulation clock and timed entities.