Formalizing BPEL-TC Through Π-Calculus
Preeti Marwaha, Hema Banati, Punam Bedi · International journal of Web & Semantic Technology · 2013
WS-BPEL is way to define business processes that interact with external entities through web service operations using WSDL.We have proposed BPEL-TC, an extension to existing WS-BPEL which uses temporally customized Web Services (WSDL-TC) as a model for process decomposition and assembly.WSDL-TC handles both backward compatible and incompatible changes and also maintains various versions of the artifacts that results due to changes over time and customizations desired by the users.In this paper, we are using pi-calculus to formalize Business Process Execution Language-Temporal Customization (BPEL-TC) process.π -calculus is a model of computation for concurrent systems along with changing connectivity of interactive systems.Pi-calculus is an extension of the process algebra CCS, with added mobility to CCS while preserving its algebraic properties.