Abstract
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 (W SDL-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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
