Streaming workflow transformation

Abstract

This thesis presents 1. a formal model for streaming workflows adapted for transformation and 2. transformation rules for streaming workflows defined according to that formal model. The validity of the transformation rules is demonstrated by formally proofing equivalence. The validity of the formal model is demonstrated by the fact that valid transformation rules can be defined. Transformation of streaming workflows is the first step towards automatic optimization of streaming workflows. By providing a formal model and transformation rules, this thesis demonstrates that it is possible to build a self-optimizing Streaming Workflow System.