In this section
Several of our current PhD candidates and fellow researchers at the Data Science Institute have published, or in the proccess of publishing, papers to present their research.
@article{Curcin:2009:10.1007/s10586-009-0099-6,
author = {Curcin, V and Ghanem, M and Guo, Y},
doi = {10.1007/s10586-009-0099-6},
journal = {Journal of Cluster Computing: Special Issue of Recent Advances in e-Science},
title = {Analysing scientific workflows with Computational Tree Logic. Journal of Cluster Computing},
url = {http://dx.doi.org/10.1007/s10586-009-0099-6},
year = {2009}
}
TY - JOUR
AB - 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.
AU - Curcin,V
AU - Ghanem,M
AU - Guo,Y
DO - 10.1007/s10586-009-0099-6
PY - 2009///
SN - 1386-7857
TI - Analysing scientific workflows with Computational Tree Logic. Journal of Cluster Computing
T2 - Journal of Cluster Computing: Special Issue of Recent Advances in e-Science
UR - http://dx.doi.org/10.1007/s10586-009-0099-6
ER -
Data Science Institute
William Penney Laboratory
Imperial College London
South Kensington Campus
London SW7 2AZ
United Kingdom
Email us.
Sign up to our mailing list.
Follow us on Twitter, LinkedIn and Instagram.
