The University of Southampton
University of Southampton Institutional Repository

Semantic type checking in scientific workflows

Semantic type checking in scientific workflows
Semantic type checking in scientific workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources [1]. Scientific workflows are used as means for modelling and enacting scientific experiments [2]. 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 but offers little support for ensuring that the resulting workflows are complete, robust and meaningful in the user’s scientific domain.

Workflow building tools rely on the developer’s understanding of multiple services and the data required to execute them. Syntactic type definitions of these data are not meaningful enough to ensure type safety, which are only discovered during execution. We aim to enrich type definitions with semantics in order to guide developers to resolve type mismatch issues at design time.

The approach we have taken is to develop SAWDL-compliant annotations for workflow and use them with a semantic reasoned to guarantee semantic type correctness in scientific workflows.
Derouiche, Kheiredine
7c0fda2b-0e1d-401d-9de9-7f898c82b414
Derouiche, Kheiredine
7c0fda2b-0e1d-401d-9de9-7f898c82b414
Nicole, Denis
0aca6dd1-833f-4544-b7a4-58fb91c7395a

Derouiche, Kheiredine (2009) Semantic type checking in scientific workflows. University of Southampton, Faculty of Physical and Applied Sciences, Masters Thesis, 62pp.

Record type: Thesis (Masters)

Abstract

Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources [1]. Scientific workflows are used as means for modelling and enacting scientific experiments [2]. 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 but offers little support for ensuring that the resulting workflows are complete, robust and meaningful in the user’s scientific domain.

Workflow building tools rely on the developer’s understanding of multiple services and the data required to execute them. Syntactic type definitions of these data are not meaningful enough to ensure type safety, which are only discovered during execution. We aim to enrich type definitions with semantics in order to guide developers to resolve type mismatch issues at design time.

The approach we have taken is to develop SAWDL-compliant annotations for workflow and use them with a semantic reasoned to guarantee semantic type correctness in scientific workflows.

PDF
K.Derouiche - MPhil Thesis.pdf - Other
Download (450kB)

More information

Published date: 2009
Organisations: University of Southampton, Electronics & Computer Science

Identifiers

Local EPrints ID: 347561
URI: https://eprints.soton.ac.uk/id/eprint/347561
PURE UUID: 82fa26c2-cf3a-42af-9f19-07c446c7e5a3

Catalogue record

Date deposited: 27 Feb 2013 15:31
Last modified: 18 Jul 2017 04:57

Export record

Contributors

Author: Kheiredine Derouiche
Thesis advisor: Denis Nicole

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×