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

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