Authorization for Workflow Processes using Pi Calculus

2012 IOSR Journal of Engineering  
Workflow patterns contain basic features of business process. Advanced branching and synchronization patterns present a series of patterns, which characterize more complex branching and merging concepts which arise in business processes. Pi-calculus can be applied in business process modeling. This paper describes the applicability of process algebra, the π-calculus, as a formal foundation for authorization in Business Process Management (BPM) for complex organization. We therefore investigate
more » ... he πcalculus from a technical viewpoint based on current work in this area. The paper summarizes shifting requirements and discusses evolving theories behind BPAC from the past over state-of-the-art to the future. The concepts and theories are concluded by an illustrating example highlighting why the π-calculus is a promising foundation for future BPAC.
doi:10.9790/3021-02918083 fatcat:fmeuhg24lbdyvilwgrbhdvnvsi