| Authors |
|
| Publication date |
2007
|
| Host editors |
-
Y. Shi
-
G.D. van Albada
-
J. Dongarra
-
P.M.A. Sloot
|
| 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 |
-
Faculty of Science (FNWI) - Informatics Institute (IVI)
|
| 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
|
|
Permalink to this page
|
