Investigating Workflow Resource Patterns in term of Pi-calculus

Gang Xue; Joan Lu; Ning Gong; Shaowen Yao

doi:10.1109/CSCWD.2008.4537051

Investigating Workflow Resource Patterns in term of Pi-calculus

Gang Xue, Joan Lu, Ning Gong, Shaowen Yao

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

3 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 language	English
Title of host publication	Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD
Editors	Weiming Shen, Qinghua Zheng, Jean-Paul Barthes, Junzhou Luo, Zhenghua Duan, Feng Tian
Publisher	IEEE
Pages	630-635
Number of pages	6
Volume	2
ISBN (Print)	9781424416509
DOIs	https://doi.org/10.1109/CSCWD.2008.4537051
Publication status	Published - 10 Jun 2008
Event	12th International Conference on Computer Supported Cooperative Work in Design - Xi'an, China Duration: 16 Apr 2008 → 18 Apr 2008 Conference number: 12 http://2008.cscwd.org/ http://2008.cscwd.org/

Conference

Conference	12th International Conference on Computer Supported Cooperative Work in Design
Abbreviated title	CSCWD2008
Country/Territory	China
City	Xi'an
Period	16/04/08 → 18/04/08
Internet address	http://2008.cscwd.org/ http://2008.cscwd.org/

Access to Document

10.1109/CSCWD.2008.4537051Licence: Unspecified

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). Article 4537051 IEEE. https://doi.org/10.1109/CSCWD.2008.4537051

@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 = jun,

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

address = "United States",

note = "12th International Conference on Computer Supported Cooperative Work in Design, CSCWD2008 ; Conference date: 16-04-2008 Through 18-04-2008",

url = "http://2008.cscwd.org/, http://2008.cscwd.org/",

}

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 et al.
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 proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Xue, Gang

AU - Lu, Joan

AU - Gong, Ning

AU - Yao, Shaowen

N1 - Conference code: 12

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

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

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

Y2 - 16 April 2008 through 18 April 2008

ER -

Investigating Workflow Resource Patterns in term of Pi-calculus

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this