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.Abstract
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 |
