Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing

Sohei Ito

2016

Abstract

Toward system-level understanding of biological systems, we need a formalism to model and analyse them. Due to incompleteness of knowledge about quantitative parameters and molecular mechanisms, qualitative methods have been useful alternatives. We have been working on temporal logic-based approach for qualitative modelling and analysis of gene regulatory networks. Although our framework is well-established to model several aspects of gene regulation, we still lack treatment of alternative splicing, which contributes to proteomic diversity of eukaryotic organisms. In this paper we extend our logic-based qualitative framework to be able to capture alternative splicing, which is crucial to model the gene regulatory networks in eukaryotic organisms. We study mechanisms of alternative splicing and propose how we model each mechanism, then demonstrate the modelling method by analysing the regulatory network of sex determination in Drosophila and verify that the network ensures sex determination.

Paper Citation

in Harvard Style

Ito S. (2016). Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing . In Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2016) ISBN 978-989-758-170-0, pages 151-158. DOI: 10.5220/0005655001510158

in Bibtex Style

@conference{bioinformatics16,
author={Sohei Ito},
title={Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing},
booktitle={Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2016)},
year={2016},
pages={151-158},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005655001510158},
isbn={978-989-758-170-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2016)
TI - Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing
SN - 978-989-758-170-0
AU - Ito S.
PY - 2016
SP - 151
EP - 158
DO - 10.5220/0005655001510158