Towards a Formal Framework for Workflow Interoperability

Journal article

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.

Authors: Fernando, S; Simpson, A

• Publication status: Published
• Journal: WEB SERVICES AND FORMAL METHODS
• Volume: 5387
• Pages: 158-174
• Publication date: 2009-01-01
• DOI: 10.1007/978-3-642-01364-5_1
• EISSN: 1611-3349
• ISSN: 0302-9743
• Language: English