PubMed Health⌕ Search

Biomedical subjects

Corrado Priami

Publications and source records attributed to Corrado Priami.

4 recordsLinked to original sources
PubMed2006

Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus.

MOTIVATION: SBML is becoming a standard 'de-facto' to represent and store biological models. Although SBML is very useful in defining ways of exchanging and storing biological information, it is not formal enough to allow direct translation into non ambiguous formal representation languages to perform analysis and simulation of models. We here suggest to map SBML models into process calculi representations. RESULTS: We implemented and validated a tool that translates SBML descriptions into stochastic pi-calculus specifications. AVAILABILITY: Source code is freely available for academic use by contacting the authors.

Algorithms↗
PubMed2004

A formal language for computational systems biology.

The post-genomic era has opened new insights into the complex biochemical reaction systems present in the cell and has generated huge amount of information. The biological systems are highly complex and can overwhelm the numerically computable models. Therefore, models employing symbolical techniques might provide a faster insight. This paper presents some preliminary results and recent trends in the above direction. Specifically, it presents an overview of the main features of some formalisms and techniques from the field of specification languages for concurrency and mobility, which have been proposed to model and simulate the dynamics of the interaction of complex biological systems. The ultimate goal of these symbolic approaches is the modeling, analysis, simulation, and hopefully prediction of the behavior of biological systems (vs. biological components).

Animals↗
PubMed2004

Modelling the dynamics of biosystems.

The need for a more formal handling of biological information processing with stochastic and mobile process algebras is addressed. Biology can benefit this approach, yielding a better understanding of behavioural properties of cells, and computer science can benefit this approach, obtaining new computational models inspired by nature.

Algorithms↗