Translating Stochastic CLS into Maude

Authors:
Thomas Anung Basuki;Antonio Cerone;Paolo Milazzo
Affiliations:
International Institute for Software Technology, United Nations University, Macau SAR, China and Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Italy;International Institute for Software Technology, United Nations University, Macau SAR, China;Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 12
Cited 0

Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Probabilistic symbolic model checking with PRISM: a hybrid approach

International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
Modeling and querying biomolecular interaction networks

Theoretical Computer Science - Special issue: Computational systems biology
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
A rewriting logic framework for operational semantics of membrane systems

Theoretical Computer Science
Probabilistic model checking of complex biological pathways

Theoretical Computer Science
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal modeling and analysis of the OGDC wireless sensor network algorithm in real-time maude

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
The calculus of looping sequences

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
P systems, a new computational modelling tool for systems biology

Transactions on Computational Systems Biology VI
On statistical model checking of stochastic systems

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.