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 Type:||Book Chapter|
|Subjects:||T Technology > T Technology (General)|
Q Science > QA Mathematics
|Schools:||School of Computing and Engineering|
School of Computing and Engineering > Diagnostic Engineering Research Centre
School of Computing and Engineering > Diagnostic Engineering Research Centre > Measurement System and Signal Processing Research Group
School of Computing and Engineering > High-Performance Intelligent Computing
?? tserg ??
School of Computing and Engineering > High-Performance Intelligent Computing > Information and Systems Engineering Group
|Depositing User:||Briony Heyhoe|
|Date Deposited:||30 Jun 2008 16:28|
|Last Modified:||12 Jan 2011 09:39|
Repository Staff Only: item control page