Investigating Workflow Patterns in Term of Pi-calculus

Gang Xue, Joan Lu, Shaowen Yao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD
EditorsWeiming Shen, Yun Yang, Jianming Yong, Igor Hawryszkiewycz, Zongkai Lin, Jean-Paul Barthes, Mary Lou Maher, Qi Hao, Minh Hong Tran
PublisherIEEE
Pages823-827
Number of pages5
ISBN (Print)1424409624, 9781424409624
DOIs
Publication statusPublished - 30 Jul 2007
Event11th International Conference on Computer Supported Cooperative Work in Design - Melbourne, Australia
Duration: 24 Apr 200728 Apr 2007
Conference number: 11
https://dblp.org/db/conf/cscwd/cscwd2007.html

Conference

Conference11th International Conference on Computer Supported Cooperative Work in Design
Abbreviated titleCSCWD 2007
CountryAustralia
CityMelbourne
Period24/04/0728/04/07
Internet address

    Fingerprint

Cite this

Xue, G., Lu, J., & Yao, S. (2007). Investigating Workflow Patterns in Term of Pi-calculus. In W. Shen, Y. Yang, J. Yong, I. Hawryszkiewycz, Z. Lin, J-P. Barthes, M. L. Maher, Q. Hao, ... M. H. Tran (Eds.), Proceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD (pp. 823-827). [4281543] IEEE. https://doi.org/10.1109/CSCWD.2007.4281543