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

Industry
Algebra
Modeling languages

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
Xue, Gang ; Lu, Joan ; Yao, Shaowen. / Investigating Workflow Patterns in Term of Pi-calculus. Proceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD. editor / Weiming Shen ; Yun Yang ; Jianming Yong ; Igor Hawryszkiewycz ; Zongkai Lin ; Jean-Paul Barthes ; Mary Lou Maher ; Qi Hao ; Minh Hong Tran. IEEE, 2007. pp. 823-827
@inproceedings{58286172b95f4859aecb3f67c365cc6d,
title = "Investigating Workflow Patterns in Term of Pi-calculus",
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.",
keywords = "Business process modeling, Pi-calculus, Workflow management system, Workflow patterns",
author = "Gang Xue and Joan Lu and Shaowen Yao",
year = "2007",
month = "7",
day = "30",
doi = "10.1109/CSCWD.2007.4281543",
language = "English",
isbn = "1424409624",
pages = "823--827",
editor = "Weiming Shen and Yun Yang and Jianming Yong and Igor Hawryszkiewycz and Zongkai Lin and Jean-Paul Barthes and Maher, {Mary Lou} and Qi Hao and Tran, {Minh Hong}",
booktitle = "Proceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD",
publisher = "IEEE",

}

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, ML Maher, Q Hao & MH Tran (eds), Proceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD., 4281543, IEEE, pp. 823-827, 11th International Conference on Computer Supported Cooperative Work in Design, Melbourne, Australia, 24/04/07. https://doi.org/10.1109/CSCWD.2007.4281543

Investigating Workflow Patterns in Term of Pi-calculus. / Xue, Gang; Lu, Joan; Yao, Shaowen.

Proceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD. ed. / Weiming Shen; Yun Yang; Jianming Yong; Igor Hawryszkiewycz; Zongkai Lin; Jean-Paul Barthes; Mary Lou Maher; Qi Hao; Minh Hong Tran. IEEE, 2007. p. 823-827 4281543.

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

TY - GEN

T1 - Investigating Workflow Patterns in Term of Pi-calculus

AU - Xue, Gang

AU - Lu, Joan

AU - Yao, Shaowen

PY - 2007/7/30

Y1 - 2007/7/30

N2 - 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.

AB - 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.

KW - Business process modeling

KW - Pi-calculus

KW - Workflow management system

KW - Workflow patterns

UR - http://www.scopus.com/inward/record.url?scp=47649124229&partnerID=8YFLogxK

U2 - 10.1109/CSCWD.2007.4281543

DO - 10.1109/CSCWD.2007.4281543

M3 - Conference contribution

AN - SCOPUS:47649124229

SN - 1424409624

SN - 9781424409624

SP - 823

EP - 827

BT - Proceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD

A2 - Shen, Weiming

A2 - Yang, Yun

A2 - Yong, Jianming

A2 - Hawryszkiewycz, Igor

A2 - Lin, Zongkai

A2 - Barthes, Jean-Paul

A2 - Maher, Mary Lou

A2 - Hao, Qi

A2 - Tran, Minh Hong

PB - IEEE

ER -

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