Towards A Unified Model for Workflow Processes

In workflow management, one of the key challenges is to provide a formal semantics to workflow specification and to unify workflow coordination at both orchestration and choreography levels. This paper describes the formalisation of workflow processes using the process algebra CSP. We presents the f...

Descripción completa

Detalles Bibliográficos
Autor principal: Wong, P
Formato: Conference item
Publicado: Manchester‚ United Kingdom 2006