Journal article icon

Journal article

Towards a Formal Framework for Workflow Interoperability

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 foundatio...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1007/978-3-642-01364-5_1

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Journal:
WEB SERVICES AND FORMAL METHODS
Volume:
5387
Pages:
158-174
Publication date:
2009-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:b067e444-b336-4b87-b81b-da6820d2079b
Source identifiers:
295410
Local pid:
pubs:295410
Language:
English

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP