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...
Autor principal: | |
---|---|
Formato: | Conference item |
Publicado: |
Manchester‚ United Kingdom
2006
|