Skip to Main Content
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.