PIC PIC

Project no. FP6-NEST-2003-1-12789
ESIGNET
Evolving Cell Signalling Networks in Silico

Specific Targeted Research Project
Sixth Framework Programme Priority

Deliverable number 4.1
Specification of the Properties of Cell Signalling Systems
Document Describing Formats for Phenotypic Representation

Due date of deliverable: May 2006
Actual submission date: May 2006

Start date of project: 2005-09-01

Duration: 36 months

Friedrich Schiller University Jena

Revision: final





Project co-funded by the European Commission within the Sixth Framework Programme (2002-2006)



Dissemination Level



PU Public X



PP Restricted to other programme participants (including the Commission Services)



RERestricted to a group specified by the consortium (including the Commission Services)



COConfidential, only for members of the consortium (including the Commission Services)




Abstract

The overall goal of the ESIGNET project is to study the computational properties of cell signalling networks (CSN) by evolving them using methods from evolutionary computation, and to re-apply this understanding in developing new ways to model and predict real CSNs.

Finding appropriate possibilities to denote and to describe the structure as well the behaviour and resulting properties of CSNs is essential for all subsequent parts of the ESIGNET project. In this report, we summarise different methods and strategies for phenotypic representation and specification of CSNs. Spanning the range from analytical to algebraic and category based approaches, they follow different purposes. Bridging the gap between these description models facilitates a high degree of flexibility in their choice and usage. File format specifications of computer science arisen from these approaches allow to implement interoperable software packages for construction, evolution, analysis, and prediction of CSNs.

Contents
1 Introduction
2 Analytical Approaches
3 Stochastic Approaches
4 Algebraic Approaches
 Term Rewriting Systems
 State Based Systems
 Process Calculi
5 Category Based Approaches
6 Computer Languages
 SBML: An Example
7 Bridges between Approaches
8 Conclusions
References