Syntax and Semantics of a Multi-Level Modeling Language

Warnke, Tom and Helms, Tobias and Uhrmacher, Adelinde M. (2015) Syntax and Semantics of a Multi-Level Modeling Language. In: 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2015), 10-12 Jun 2015, London, UK. Proceedings, published by ACM, New York, NY, USA, pp. 133-144.

Full text not available from this repository.
Official URL:


The domain specific modeling and simulation language ML-Rules makes it possible to describe cell biological systems at different levels of organization. A model is formed by attributed and dynamically nested species, with reactions that are constrained by functions on attributes. In this paper, we extend ML-Rules to also support constraints using functions on multi-sets of species, i.e., solutions. Further, we present the formal syntax and semantics of ML-Rules, we define its stochastic simulator and we illustrate its expressiveness based on a model of the cell cycle and proliferation.

Item Type: Conference or Workshop Item (Paper)
Additional Information: ISBN: 978-1-4503-3583-6
Uncontrolled Keywords: computational biology,continuous-time markov chain,formal semantics,rule-based modeling
Projects: ESCeMMo