Conference item icon

Conference item

A Process−Algebraic Approach to Workflow Specification and Refinement

Abstract:

This paper describes a process algebraic approach to specification and refinement of workflow processes. In particular, we model both specification and implementation of workflows as CSP processes. CSP's behavioural models and their respective refinement relations not only enable us to prove correctness properties of an individual workflow process against its behavioural specification, but also allows us to design and develop workflow processes compositionally. Moreover, coupled with CSP is a...

Expand abstract

Actions


Access Document


Publisher copy:
10.1007/978-3-540-77351-1_5

Authors


Peter Y.H. Wong More by this author
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Volume:
4829
Publication date:
2007-03-01
DOI:
URN:
uuid:110a693a-7680-4a1c-abd1-cc1807b9cbdf
Local pid:
cs:2131

Terms of use


Metrics



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

TO TOP