Abstract
Bio-jETI is a platform for the intuitive graphical design and execution of bioinformatics workows composed from heterogeneous remote services. In this paper we use a simple phylogenetic analysis process to show how formal approaches like model checking and process synthesis can be applied to further support the workow development in Bio-jETI. To unfold their full potential these methods need a comprehensive knowledge base about the domain, containing semantic information about the single services as well as ontological classifications of the used terms. We outline how to systematically integrate these semantic web concepts into our framework and discuss the implications on checking and synthesis.
| Original language | English |
|---|---|
| Journal | CEUR Workshop Proceedings |
| Volume | 435 |
| Publication status | Published - 2009 |
| Externally published | Yes |
| Event | Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2008 - Edinburgh, United Kingdom Duration: 28 Nov 2008 → 28 Nov 2008 |
Keywords
- Bioinformatics workows
- Compliance
- Model checking
- Process verification
- Workow synthesis