Modelling cell cycle using different levels of representation

Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho

Research output: Contribution to journalConference articlepeer-review


Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use of mathematical models allows researchers to perform computerised simulations of biological systems, which are called in silico experiments, to attain important insights and predictions about the system behaviour with a considerably lower cost. Computer visualisation is an important part of this approach, since it provides a realistic representation of the system behaviour. We define a formal methodology to model biological systems using different levels of representation: A purely formal representation, which we call molecular level, models the biochemical dynamics of the system; visualisation-oriented representations, which we call visual levels, provide views of the biological system at a higher level of organisation and are equipped with the necessary spatial information to generate the appropriate visualisation. We choose Spatial CLS, a formal language belonging to the class of Calculi of Looping Sequences, as the formalism for modelling all representation levels. We illustrate our approach using the budding yeast cell cycle as a case study.

Original languageEnglish
Pages (from-to)51-69
Number of pages19
JournalElectronic Proceedings in Theoretical Computer Science
Publication statusPublished - 30 Nov 2009
Event3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009 - Bologna, Italy
Duration: 5 Sept 2009 → …

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Modelling cell cycle using different levels of representation'. Together they form a unique fingerprint.

Cite this