University of Twente Student Theses
Interactive signaling network analysis tool
Bos, W.J. (2009) Interactive signaling network analysis tool.
PDF
11MB |
Abstract: | When researching kinase signaling pathways in cells, molecular biologists are confronted with large experimental data sets. Evaluation of these data sets, together with the fitting of these data on possible pathway models, is a highly nontrivial task. The aim of this research is to support biologists in exploring the space of networks inferred from experimental data by means of software that is both interactive and visual, thereby considerably alleviating this task. At the basis of the software lies a quantitative modeling technique that makes use of a computer science model called timed automata. Timed automata models can be created, simulated, and analyzed with UPPAAL, which is a state-of-the-art tool for analysis and design of real-time systems. Modeling a pathway with timed automata makes it possible to decide, using UPPAAL, whether experimental data fits a specific model, or whether such a model should somehow be updated. In order to hide the technical intricacies of timed automata and UPPAAL from the molecular biologist, a prototype interface tool has been built. This interface tool lets users draw a network and add experimental data to it, and then exports this information to a timed automata model to be verified by UPPAAL. Finally, the results from this verification process are translated back to the interface and presented in a graphical manner |
Item Type: | Essay (Master) |
Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
Subject: | 54 computer science |
Programme: | Interaction Technology MSc (60030) |
Link to this item: | https://purl.utwente.nl/essays/59184 |
Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Repository Staff Only: item control page