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
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;
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
DOI :
10.1109/CSCWD.2008.4537051
