Search:
Computing and Library Services - delivering an inspiring information environment

Investigating workflow patterns in term of Pi-calculus

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.

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:
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

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©