Towards a Formal Framework for Workflow Interoperability

Authors:
Sarah D. Induruwa Fernando;Andrew C. Simpson
Affiliations:
Oxford University Computing Laboratory, Oxford, UK OX1 3QD;Oxford University Computing Laboratory, Oxford, UK OX1 3QD
Venue:
Web Services and Formal Methods
Year:
2009

Citing 9
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Workflow Patterns

Distributed and Parallel Databases
Taverna: a tool for the composition and enactment of bioinformatics workflows

Bioinformatics
Scientific workflow management and the Kepler system: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
YAWL: yet another workflow language

Information Systems
Towards Build-Time Interoperability of Workflow Definition Languages

SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
A process-algebraic approach to workflow specification and refinement

SC'07 Proceedings of the 6th international conference on Software composition
Translating standard process models to BPEL

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

As the importance of workflow languages increases in both commercial and scientific application domains, requirements to verify properties of workflows, and compositions thereof, will start to emerge. A lack of formal foundations for workflow languages means that constructing and reasoning about such compositions is currently an impossible task, thereby limiting the potential for their assured execution within service-oriented contexts. To this end, we present a language with formal foundations to act as an intermediary in facilitating build-time interoperability by the transformation of legacy workflows.