Translating Stochastic CLS into Maude

被引:4
作者
Basuki, Thomas Anung [1 ]
Cerone, Antonio [1 ]
Milazzo, Paolo [2 ]
机构
[1] United Nations Univ, Int Inst Software Technol, Macau, Peoples R China
[2] Univ Pisa, Dipartimento Informat, I-56127 Pisa, Italy
关键词
Calculus of Looping Sequences; Maude; model-checking; biological system;
D O I
10.1016/j.entcs.2008.12.103
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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.
引用
收藏
页码:37 / 58
页数:22
相关论文
共 19 条
[1]   PMaude: Rewrite-based Specification Language for Probabilistic Object Systems [J].
Agha, Gul ;
Meseguer, Jose ;
Sen, Koushik .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 153 (02) :213-239
[2]   A rewriting logic framework for operational semantics of membrane systems [J].
Andrei, Oana ;
Ciobanu, Gabriel ;
Lucanu, Dorel .
THEORETICAL COMPUTER SCIENCE, 2007, 373 (03) :163-181
[3]  
Barbuti R., 2008, T COMPUTATI IN PRESS
[4]  
Barbuti R, 2008, LECT NOTES COMPUT SC, V5016, P387
[5]  
Calder M., 2004, P BIOCONCUR WORKSH C
[6]  
Cardelli L, 2005, LECT NOTES COMPUT SC, V3082, P257
[7]   Modeling and querying biomolecular interaction networks [J].
Chabrier-Rivier, N ;
Chiaverini, M ;
Danos, V ;
Fages, F ;
Schächter, V .
THEORETICAL COMPUTER SCIENCE, 2004, 325 (01) :25-44
[8]  
CLAVEL M, 2007, MAUDE MANUAL VERSION
[9]   Formal molecular biology [J].
Danos, V ;
Laneve, C .
THEORETICAL COMPUTER SCIENCE, 2004, 325 (01) :69-110
[10]   EXACT STOCHASTIC SIMULATION OF COUPLED CHEMICAL-REACTIONS [J].
GILLESPIE, DT .
JOURNAL OF PHYSICAL CHEMISTRY, 1977, 81 (25) :2340-2361