Zpět na vyhledávání

Samuel Kulíšek

Bachelor's thesis

Formal representation of graphical models of biological systems

Formal representation of graphical models of biological systems
Abstract:
Práca sa zaoberá automatizáciou prevodu existujúcich Systems Biology Graphical Notation Process Description (SBGN-PD) diagramov do modelu založeného na pravidlách v jazyku Biochemical Space Language (BCSL) vyvíjaného Fakultou Informatiky. Tento model založený na pravidlách by mal byť načítateľný programom eBCSgen. Táto práca obsahuje zhrnutie existujúcich formátov súborov používaných na ukladanie SBGN …more
Abstract:
This thesis focuses on the automation of transforming the existing Systems Biology Graphical Notation Process Description maps (SBGN-PD) into a rule-based model in the Biochemical Space Language (BCSL) developed by the Faculty of Informatics. This rule-based model should be readable by the tool eBCSgen. This thesis includes an analysis of existing file formats used for containing SBGN Process Diagrams …more
 

Keywords

formal methods formal specification Python systems biology biochemical space language systems biology graphical notation CellDesigner
 
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2021
Identifier: https://is.muni.cz/th/nm01y/

Thesis defence

  • Date of defence: 30. 6. 2021
  • Supervisor: doc. RNDr. David Šafránek, Ph.D.
  • Reader: Mgr. Samuel Pastva

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.