Modelling and simulation of biological processes in BlenX

Authors:
Lorenzo Dematté;Corrado Priami;Alessandro Romanel
Affiliations:
Universitá di Trento;Universitá di Trento;Universitá di Trento
Venue:
ACM SIGMETRICS Performance Evaluation Review
Year:
2008

Citing 13
Cited 11

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Model-checking continuous-time Markov chains

ACM Transactions on Computational Logic (TOCL)
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Communication and Concurrency

Communication and Concurrency
Modelling with Generalized Stochastic Petri Nets

ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
The Mathematica Book

The Mathematica Book
Reactive Animation: Realistic Modeling of Complex Dynamic Systems

Computer
COPASI---a COmplex PAthway SImulator

Bioinformatics
BetaWB: modelling and simulating biological processes

Proceedings of the 2007 Summer Computer Simulation Conference
The pathalyzer: a tool for analysis of signal transduction pathways

RECOMB'05 Proceedings of the 2005 joint annual satellite conference on Systems biology and regulatory genomics
Probabilistic model checking of complex biological pathways

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Beta binders for biological interactions

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

Evolving BlenX programs to simulate the evolution of biological networks

Theoretical Computer Science
The Attributed Pi Calculus

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Analysing Biochemical Oscillation through Probabilistic Model Checking

Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
Categories of Timed Stochastic Relations

Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Compartments in the Imperative Π-Calculus

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
A generic abstract machine for stochastic process calculi

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Bio-PEPAd: A non-Markovian extension of Bio-PEPA

Theoretical Computer Science
A language for biochemical systems: design and formal specification

Transactions on Computational Systems Biology XII
Stochastic simulation of multiple process calculi for biology

Theoretical Computer Science
Multiple verification in complex biological systems: the bone remodelling case study

Transactions on Computational Systems Biology XIV

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a scalable framework built upon the BlenX language and inspired by the Beta-binders process calculus to model, simulate and analyse biological systems. We show the features of the Beta Workbench framework on a running example based on the mitogen-activated kinase pathway. We also discuss an incremental modelling process that allows us to scale up from pathway to network modelling and analysis. We finally provide a comparison with related approaches and some hints for future extensions of the framework.