Translating Stochastic CLS into Maude
|Title||Translating Stochastic CLS into Maude|
|Publication Type||Journal Article|
|Year of Publication||2009|
|Authors||T. A. Basuki, A. Cerone, and P. Milazzo|
|Journal||Electronic Notes in Theoretical Computer Science|
This paper describes preliminary results on the application of statistical model-checking to systems described with Stochastic CLS. Stochastic CLS is a formalism based on term rewriting that allows biomolecular systems to be described by taking into account their structure and by allowing very general events to be modelled. Statistical model-checking is an analysis technique that permits properties of a system to be studied on the results of a number of stochastic simulations. We choose Real-Time Maude as a tool that supports the modelling and analysis of systems with real-time properties. We adapt Gillespie's algorithm for simulating chemical systems into our approach. The resulting method is applied to analyse some simple examples and a model of the lactose operon regulation in E.coli.
Proceedings of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008).