Towards a Formal Foundation for Aggregating Scientific Workflows
| Authors | |
|---|---|
| Publication date | 2007 |
| Host editors |
|
| Book title | Computational Science – ICCS 2007 |
| Book subtitle | 7th International Conference, Beijing, China, May 27 - 30, 2007 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | International Conference on Computational Science (ICCS 2007), Beijing, China |
| Volume | Issue number | III |
| Pages (from-to) | 216-219 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowing multiple workflow systems to be coupled in a meta-workflow system with multiple execution models. In this paper we propose an approach for a formal model to perform the task of reasoning of about the execution models of such workflow systems. We propose that I/O Automata can be used as a formalism to prove the correctness of complicated workflows involving multiple workflow engines and execution models. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-540-72588-6_38
(Final published version)
|
| Permalink to this page | |
