Investigating Workflow Resource Patterns in Term of Pi-calculus

摘要

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.