EPSRC logo

Details of Grant 

EPSRC Reference: EP/E031161/1
Title: Linking Visual Formalisms and Specification Calculi for Biological Modeling
Principal Investigator: Plotkin, Professor G
Other Investigators:
Stevens, Professor P
Researcher Co-Investigators:
Project Partners:
Department: Lab. for Foundations of Computer Science
Organisation: University of Edinburgh
Scheme: Standard Research
Starts: 01 January 2007 Ends: 31 July 2007 Value (£): 78,464
EPSRC Research Topic Classifications:
Fundamentals of Computing New & Emerging Comp. Paradigms
Theoretical biology
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
Systems biologists describe biological systems in a way that supportsthe investigation of those systems by computer. They need languages inwhich to write their descriptions, and these languages have to be botheasy to use and suitable for interpretation by a computer. The behaviorof a complex biological system consists of inter-cellular effects, and intra-cellular ones (such as gene and protein signalling). Currently, a variety of languages are in use. One such language is Statecharts, a diagrammatic medium for describing software and other computerized system. This language has proved useful in a variety of projects for modeling inter-cellular behavior in biology. Process algebras, such as CCS, the Calculus of Communicating Systems, and the pi calculus, are written in symbols, and have mechanismssuitable for describing intra-cellular behavior. We want to combine theadvantages of both, using insights from the process algebra and visual formalisms communities, to build a combined language that would be able to deal with entire biological systems. Our initial target group of users isthat of systems biologists, although our insights are also expected to be useful more widely, for example, to software designers.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.ed.ac.uk