Semantically resolving type mismatches in scientific workflows

Authors:
Kheiredine Derouiche;Denis A. Nicole
Affiliations:
School of Electronics and Computer Science, University of Southampton, Southampton, UK;School of Electronics and Computer Science, University of Southampton, Southampton, UK
Venue:
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Year:
2007

Citing 7
Cited 0

The grid: blueprint for a new computing infrastructure

The grid: blueprint for a new computing infrastructure
Semantic Web Services

IEEE Intelligent Systems
A taxonomy of scientific workflow systems for grid computing

ACM SIGMOD Record
Taverna: a tool for the composition and enactment of bioinformatics workflows

Bioinformatics
Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications

ICDEW '06 Proceedings of the 22nd International Conference on Data Engineering Workshops
Evaluation of BPEL to Scientific Workflows

CCGRID '06 Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid
Scientific workflow management and the Kepler system: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeling and enacting scientific experiments. Windows Workflow Foundation (WF) is a major component of Microsoft's .NET technology which offers lightweight support for long-running workflows. It provides a comfortable graphical and programmatic environment for the development of extended BPEL-style workflows. WF's visual features ease the syntactic composition of Web services into scientific workflows but do nothing to assure that information passed between services has consistent semantic types or representations or that deviant flows, errors and compensations are handled meaningfully. In this paper we introduce SAWSDL-compliant annotations for WF and use them with a semantic reasoner to guarantee semantic type correctness in scientific workflows. Examples from bioinformatics are presented.