Analysing scientific workflows with Computational Tree Logic |
| |
Authors: | Vasa Curcin Moustafa M Ghanem Yike Guo |
| |
Institution: | 1. Department of Computing, Imperial College London, 180 Queen’s Gate, London, SW7 2AZ, UK
|
| |
Abstract: | Motivated by the widespread use of workflow systems in e-Science applications, this article introduces a formal analysis framework
for the verification and profiling of the control flow aspects of scientific workflows. The framework relies on process algebras
that characterise each workflow component with a process behaviour, which is then used to build a CTL state model that can
be reasoned about. We demonstrate the benefits of the approach by modelling the control flow behaviour of the Discovery Net
system, one of the earliest workflow-based e-Science systems, and present how some key properties of workflows and individual
service utilisation can be queried at design time. Our approach is generic and can be applied easily to modelling workflows
developed in any other system. It also provides a formal basis for the comparison of control aspects of e-Science workflow
systems and a design method for future systems. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|