You are here

Validation and mismatch repair of workflows through typed data streams

Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/www/html/sites/all/modules/biblio/includes/biblio_theme.inc).
TitleValidation and mismatch repair of workflows through typed data streams
Publication TypeJournal Article
Year of Publication2011
AuthorsYaikhom, G, Atkinson, M, van Hemert, J, Corcho, O, Krause, A
Journal TitlePhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Volume369
Issue1949
Pages3285-3299
Abstract

The type system of a language guarantees that all of the operations on a set of data comply with the rules and conditions set by the language. While language typing is a fundamental requirement for any programming language, the typing of data that flow between processing elements within a workflow is currently being treated as optional. In this paper, we introduce a three-level type system for typing workflow data streams. These types are parts of the Data Intensive System Process Engineering Language programming language, which empowers users with the ability to validate the connections inside a workflow composition, and apply appropriate data type conversions when necessary. Furthermore, this system enables the enactment engine in carrying out type-directed workflow optimizations.

DOI10.1098/rsta.2011.0135
Full Text