Xue, Gang, Lu, Joan and Yao, Shaowen (2007) Investigating workflow patterns in term of Pi-calculus. In: 11th International Conference on Computer Supported Cooperative Work in Design. IEEE, Melbourne, Victoria, pp. 823-827. ISBN 1424409632Metadata only available from this repository.
Workflow patterns contain basic features of business process. How to implement these patterns depends on the modeling languages and methods. Pi-calculus, as a kind of process algebra, can be applied in business process modeling. This paper uses Pi-calculus, as a formalizing utility, to investigate some workflow patterns that may have multiple presentation versions with BPMN. The main goal is to explore expressive capabilities of Pi-calculus regarding business process and check representations of workflow patterns in Pi-calculus.
Item control for Repository Staff only: