DocumentCode
1701230
Title
Investigating Workflow Resource Patterns in term of Pi-calculus
Author
Xue, Gang ; Lu, Joan ; Gong, Ning ; Yao, Shaowen
Author_Institution
Sch. of Inf. Sci. & Eng., Yunnan Univ., Kunming
fYear
2008
Firstpage
630
Lastpage
635
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
pi calculus; workflow management software; Pi-calculus; business process; workflow resource patterns; Algebra; Business; Calculus; Humans; Information science; Petri nets; Technology management; Unified modeling language; Web services; Workflow management software; Business Process Modeling; Pi-calculus; Workflow Management System; Workflow Resource Patterns;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Supported Cooperative Work in Design, 2008. CSCWD 2008. 12th International Conference on
Conference_Location
Xi´an
Print_ISBN
978-1-4244-1650-9
Electronic_ISBN
978-1-4244-1651-6
Type
conf
DOI
10.1109/CSCWD.2008.4537051
Filename
4537051
Link To Document