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 Dive into the research topics of 'Investigating Workflow Resource Patterns in term of Pi-calculus'. Together they form a unique fingerprint.

Cite this