Towards a Formal Foundation for Aggregating Scientific Workflows
COMPUTATIONAL SCIENCE - ICCS 2007, PT 3, PROCEEDINGS(2007)
摘要
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.
更多查看译文
关键词
multiple execution model,workflow bus,execution model,workflow system,collaborative experiment,multiple workflow engine,scientific workflow system,aggregating scientific workflows,complicated workflows,o automata,multiple workflow system,formal foundation
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要