Investigating Workflow Resource Patterns in term of Pi-calculus

Gang Xue, Joan Lu, Ning Gong, Shaowen Yao

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

2 Citations (Scopus)

Abstract

Workflow Resource Patterns focus on the various ways in which resources are represented and utilized in workflows. This paper uses Pi-calculus to model Workflow Resource Patterns. The main goal is to explore expressive capabilities of Pi-calculus regarding business process and resource. The formalizations can be used as a foundation for pattern-based workflow system as well as a basis for future research on workflow-related patterns.

Original languageEnglish
Title of host publicationProceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD
EditorsWeiming Shen, Qinghua Zheng, Jean-Paul Barthes, Junzhou Luo, Zhenghua Duan, Feng Tian
PublisherIEEE
Pages630-635
Number of pages6
Volume2
ISBN (Print)9781424416509
DOIs
Publication statusPublished - 10 Jun 2008
Event12th International Conference on Computer Supported Cooperative Work in Design - Xi'an, China
Duration: 16 Apr 200818 Apr 2008
Conference number: 12
http://2008.cscwd.org/
http://2008.cscwd.org/

Conference

Conference12th International Conference on Computer Supported Cooperative Work in Design
Abbreviated titleCSCWD2008
CountryChina
CityXi'an
Period16/04/0818/04/08
Internet address

Fingerprint

Industry

Cite this

Xue, G., Lu, J., Gong, N., & Yao, S. (2008). Investigating Workflow Resource Patterns in term of Pi-calculus. In W. Shen, Q. Zheng, J-P. Barthes, J. Luo, Z. Duan, & F. Tian (Eds.), Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD (Vol. 2, pp. 630-635). [4537051] IEEE. https://doi.org/10.1109/CSCWD.2008.4537051
Xue, Gang ; Lu, Joan ; Gong, Ning ; Yao, Shaowen. / Investigating Workflow Resource Patterns in term of Pi-calculus. Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD. editor / Weiming Shen ; Qinghua Zheng ; Jean-Paul Barthes ; Junzhou Luo ; Zhenghua Duan ; Feng Tian. Vol. 2 IEEE, 2008. pp. 630-635
@inproceedings{c088e4d74d064734bc20e1ac69047882,
title = "Investigating Workflow Resource Patterns in term of Pi-calculus",
abstract = "Workflow Resource Patterns focus on the various ways in which resources are represented and utilized in workflows. This paper uses Pi-calculus to model Workflow Resource Patterns. The main goal is to explore expressive capabilities of Pi-calculus regarding business process and resource. The formalizations can be used as a foundation for pattern-based workflow system as well as a basis for future research on workflow-related patterns.",
keywords = "Business process modeling, Pi-calculus, Workflow management system, Workflow resource patterns",
author = "Gang Xue and Joan Lu and Ning Gong and Shaowen Yao",
year = "2008",
month = "6",
day = "10",
doi = "10.1109/CSCWD.2008.4537051",
language = "English",
isbn = "9781424416509",
volume = "2",
pages = "630--635",
editor = "Weiming Shen and Qinghua Zheng and Jean-Paul Barthes and Junzhou Luo and Zhenghua Duan and Feng Tian",
booktitle = "Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD",
publisher = "IEEE",

}

Xue, G, Lu, J, Gong, N & Yao, S 2008, Investigating Workflow Resource Patterns in term of Pi-calculus. in W Shen, Q Zheng, J-P Barthes, J Luo, Z Duan & F Tian (eds), Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD. vol. 2, 4537051, IEEE, pp. 630-635, 12th International Conference on Computer Supported Cooperative Work in Design, Xi'an, China, 16/04/08. https://doi.org/10.1109/CSCWD.2008.4537051

Investigating Workflow Resource Patterns in term of Pi-calculus. / Xue, Gang; Lu, Joan; Gong, Ning; Yao, Shaowen.

Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD. ed. / Weiming Shen; Qinghua Zheng; Jean-Paul Barthes; Junzhou Luo; Zhenghua Duan; Feng Tian. Vol. 2 IEEE, 2008. p. 630-635 4537051.

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

TY - GEN

T1 - Investigating Workflow Resource Patterns in term of Pi-calculus

AU - Xue, Gang

AU - Lu, Joan

AU - Gong, Ning

AU - Yao, Shaowen

PY - 2008/6/10

Y1 - 2008/6/10

N2 - Workflow Resource Patterns focus on the various ways in which resources are represented and utilized in workflows. This paper uses Pi-calculus to model Workflow Resource Patterns. The main goal is to explore expressive capabilities of Pi-calculus regarding business process and resource. The formalizations can be used as a foundation for pattern-based workflow system as well as a basis for future research on workflow-related patterns.

AB - Workflow Resource Patterns focus on the various ways in which resources are represented and utilized in workflows. This paper uses Pi-calculus to model Workflow Resource Patterns. The main goal is to explore expressive capabilities of Pi-calculus regarding business process and resource. The formalizations can be used as a foundation for pattern-based workflow system as well as a basis for future research on workflow-related patterns.

KW - Business process modeling

KW - Pi-calculus

KW - Workflow management system

KW - Workflow resource patterns

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

U2 - 10.1109/CSCWD.2008.4537051

DO - 10.1109/CSCWD.2008.4537051

M3 - Conference contribution

AN - SCOPUS:51049100408

SN - 9781424416509

VL - 2

SP - 630

EP - 635

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

A2 - Shen, Weiming

A2 - Zheng, Qinghua

A2 - Barthes, Jean-Paul

A2 - Luo, Junzhou

A2 - Duan, Zhenghua

A2 - Tian, Feng

PB - IEEE

ER -

Xue G, Lu J, Gong N, Yao S. Investigating Workflow Resource Patterns in term of Pi-calculus. In Shen W, Zheng Q, Barthes J-P, Luo J, Duan Z, Tian F, editors, Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD. Vol. 2. IEEE. 2008. p. 630-635. 4537051 https://doi.org/10.1109/CSCWD.2008.4537051