System biology: modelling, languages and analysis
Sybilla DIT-PRJ-05-003
Status NOT active project
DISI role Coordinator
Project type Research Project
Dimension National
Acquisition date 2004-11-01
Start date 2004-11-01
End date 2006-10-31
Project details
Project astract We plan to determine techniques to model (both at a linguuistic and at a graphic level) complex biological systems. We then equip our formalisms with tools to analyse the dynamic behaviour and the dynamic evolution of the system in hand recovering most of the results coming from concurrency and language theory. We also exploit in this project results from the simulation world by including quantitative information in the specifications of the case studies. Eventually, we also investigate how logical formalisms can be used and adapted to the new biological applicative domain.<br/><br/>The above development is tuned, tested and validated over case studies coming from the literature and from the interactions that any group involved in this project has with biologists under other funded initiatives.<br/><br/>The feasibility of the approach is shown by realizating proof-of-concept software tools based on the theoretical framework developed in the first phase of the investigation.<br/><br/>The main focus of the activities reported here is on the computer science side as they should produce new language primitives and analysis tools that are then instantiated to a biological setting. The positive side effect of this research is that new computational paradigms could emerge taking inspiration from the way in which living matter process information.
Keywords dynamic bioinformatics, process calculi
Fundings 144200 €
Partners
- DIT - UniTN
- University of Pisa
- University of Bologna
- University of Udine
- Universita' degli Studi Milano Bicocca
DISI Sub-project details
Project astract We plan to determine techniques to model (both at a linguuistic and at a graphic level) complex biological systems. We then equip our formalisms with tools to analyse the dynamic behaviour and the dynamic evolution of the system in hand recovering most of the results coming from concurrency and language theory. We also exploit in this project results from the simulation world by including quantitative information in the specifications of the case studies.<br/><br/>The above development is tuned, tested and validated over case studies coming from the literature and from the interactions that any group involved in this project has with biologists under other funded initiatives.<br/><br/>The feasibility of the approach is shown by realizating proof-of-concept software tools based on the theoretical framework developed in the first phase of the investigation.<br/><br/>The main focus of the activities reported here is on the computer science side as they should produce new language primitives and analysis tools that are then instantiated to a biological setting. The positive side effect of this research is that new computational paradigms could emerge taking inspiration from the way in which living matter process information.
Keywords dynamic bioinformatics, process calculi
Fundings 27000 €
Manager Corrado Priami
Participating RP