Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.586173
Title: Semantic type checking in scientific workflows
Author: Derouiche, Kheiredine
Awarding Body: University of Southampton
Current Institution: University of Southampton
Date of Award: 2009
Availability of Full Text:
Full text unavailable from EThOS. Please contact the current institution’s library for further details.
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 Work flow 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 work flows but offers little support for ensuring that the resulting workflows are complete, robust and meaningful in the user's scientific domain. Workflowbuilding 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 work flow and use them with a semantic reasoned to guarantee semantic type correctness in scientific workflows.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.586173  DOI: Not available
Share: