期刊名称：International Journal of Web & Semantic Technology
印刷版ISSN：0976-2280
电子版ISSN：0975-9026
出版年度：2013
卷号：4
期号：3
DOI：10.5121/ijwest.2013.430
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：WS-BPEL is way to define business processes that interact with external entities throughwebserviceoperations usingWSDL. We have proposed BPEL-TC, an extension to existing WS-BPEL whichuses 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 variousversions of the artifacts that results due to changes over time and customizations desired by the users. Inthis paper,we are using pi-calculus to formalizeBusiness Process Execution Language-TemporalCustomization(BPEL-TC)process. ¦Ð-calculus is a model of computation for concurrent systems alongwith 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
关键词：Web Services;WSDL;WSDL;-;TC;BPEL;BPEL;-;TC;¦Ð;¨C;Calculus; Temporally;C;ustomised Web Services
