Investigating workflow patterns in term of Pi-calculus

Tools

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 1424409632

Metadata only available from this repository.

Official URL: http://dx.doi.org/10.1109/CSCWD.2007.4281543

DOI: 10.1109/CSCWD.2007.4281543

Abstract

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 > Informatics Research Group School of Computing and Engineering > Informatics Research Group > Software Engineering Research Group School of Computing and Engineering > Informatics Research Group > XML, Database and Information Retrieval Research Group
Related URLs:	Author
Depositing User:	Briony Heyhoe
Date Deposited:	30 Jun 2008 16:28
Last Modified:	12 Jan 2011 09:39
URI:	http://eprints.hud.ac.uk/id/eprint/953

Item control for Repository Staff only:

View Item