European Companies Search Engine
UK funding (£78,463): Linking Visual Formalisms and Specification Calculi for Biological Modeling Ukri1 Jan 2007 UK Research and Innovation, United Kingdom
Overview
Text
Linking Visual Formalisms and Specification Calculi for Biological Modeling
| Abstract | 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. |
| Category | Research Grant |
| Reference | EP/E031161/1 |
| Status | Closed |
| Funded period start | 01/01/2007 |
| Funded period end | 31/07/2007 |
| Funded value | £78,463.00 |
| Source | https://gtr.ukri.org/projects?ref=EP%2FE031161%2F1 |
Participating Organisations
| University of Edinburgh |
The filing refers to a past date, and does not necessarily reflect the current state. The current state is available on the following page: University OF Edinburgh CHARITY, Edinburgh.
The visualizations for "University of Edinburgh - UK funding (£78,463): Linking Visual Formalisms and Specification Calculi for Biological Modeling"
are provided by
North Data
and may be reused under the terms of the
Creative Commons CC-BY license.
