Articles liés à Intuitive formal modelling of biological systems: From...

Intuitive formal modelling of biological systems: From an intuitive narrative description of biological systems to their formal computational analysis - Couverture souple

Guerriero, Maria Luisa

 
9783838362694: Intuitive formal modelling of biological systems: From an intuitive narrative description of biological systems to their formal computational analysis
Couverture souple
ISBN 10 : 3838362691 ISBN 13 : 9783838362694
Editeur : LAP LAMBERT Academic Publishing, 2011

Synopsis

Like distributed systems of computers, biological systems are made of many interacting concurrent entities. Because of this similarity, the application of techniques coming from concurrency theory to the modelling of biological systems has become increasingly popular in recent years. One of the major challenges in this context is the definition of suitable modelling languages that are formal and executable but also easy to understand by non-computer scientists, together with the development of user friendly tools for modelling, analysis and simulation of biological systems. In this book we present a high level textual modelling language (called Narrative Language), its automatic translation into a formal language belonging to the family of process algebras (called Beta-binders), and the definition of rules to infer causal and spatial dependencies between model reactions. The approach is illustrated on a model of the widely studied Gp130/JAK/STAT signalling pathway. This work is a step towards the definition of a framework which allows scientists to easily describe biological systems and automatically perform simulation and formal analysis of models.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Like distributed systems of computers, biological systems are made of many interacting concurrent entities. Because of this similarity, the application of techniques coming from concurrency theory to the modelling of biological systems has become increasingly popular in recent years. One of the major challenges in this context is the definition of suitable modelling languages that are formal and executable but also easy to understand by non-computer scientists, together with the development of user friendly tools for modelling, analysis and simulation of biological systems. In this book we present a high level textual modelling language (called Narrative Language), its automatic translation into a formal language belonging to the family of process algebras (called Beta-binders), and the definition of rules to infer causal and spatial dependencies between model reactions. The approach is illustrated on a model of the widely studied Gp130/JAK/STAT signalling pathway. This work is a step towards the definition of a framework which allows scientists to easily describe biological systems and automatically perform simulation and formal analysis of models.

Biographie de l'auteur

Maria Luisa Guerriero received her PhD in Information and Communication Technologies from the University of Trento in Italy. Since 2008 she has been a Research Associate at the University of Edinburgh in UK. Her research interests include systems biology and the use of formal methods for modelling, simulation and verification of biological systems.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2011
Langue
anglais
ISBN 10 
3838362691
ISBN 13 
9783838362694
Reliure
Broché
Nombre de pages
152
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne