| EPSRC Reference: |
EP/E031161/1 |
| Title: |
Linking Visual Formalisms and Specification Calculi for Biological Modeling |
| Principal Investigator: |
Plotkin, Professor G |
| Other Investigators: |
|
| 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 |