Investigating Workflow Patterns in Term of Pi-calculus

Gang Xue; Joan Lu; Shaowen Yao

doi:10.1109/CSCWD.2007.4281543

Investigating Workflow Patterns in Term of Pi-calculus

Gang Xue, Joan Lu, Shaowen Yao

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Proceedings of the 2007 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD
Editors	Weiming Shen, Yun Yang, Jianming Yong, Igor Hawryszkiewycz, Zongkai Lin, Jean-Paul Barthes, Mary Lou Maher, Qi Hao, Minh Hong Tran
Publisher	IEEE
Pages	823-827
Number of pages	5
ISBN (Print)	1424409624, 9781424409624
DOIs	https://doi.org/10.1109/CSCWD.2007.4281543
Publication status	Published - 30 Jul 2007
Event	11th International Conference on Computer Supported Cooperative Work in Design - Melbourne, Australia Duration: 24 Apr 2007 → 28 Apr 2007 Conference number: 11 https://dblp.org/db/conf/cscwd/cscwd2007.html

Conference

Conference	11th International Conference on Computer Supported Cooperative Work in Design
Abbreviated title	CSCWD 2007
Country/Territory	Australia
City	Melbourne
Period	24/04/07 → 28/04/07
Internet address	https://dblp.org/db/conf/cscwd/cscwd2007.html

Access to Document

10.1109/CSCWD.2007.4281543Licence: Unspecified

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). Article 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 = jul,

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",

address = "United States",

note = "11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007 ; Conference date: 24-04-2007 Through 28-04-2007",

url = "https://dblp.org/db/conf/cscwd/cscwd2007.html",

}

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, Victoria, 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 proceeding › Conference contribution › peer-review

TY - GEN

T1 - Investigating Workflow Patterns in Term of Pi-calculus

AU - Xue, Gang

AU - Lu, Joan

AU - Yao, Shaowen

N1 - Conference code: 11

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 - https://www.scopus.com/pages/publications/47649124229

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

T2 - 11th International Conference on Computer Supported Cooperative Work in Design

Y2 - 24 April 2007 through 28 April 2007

ER -

Investigating Workflow Patterns in Term of Pi-calculus

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this