Modeling interaction based information alignment of Web choreography
Shenghong Li · Computer Engineering and Applications Journal · 2010
A Process Algebra for Web Service(PA4WS) is proposed to model asynchronous Interaction Based Information Alignmen(tIBIA) in WS-CDL of Web service choreography.PA4WS equips the operator of WorkUnit of WS-CDL,which is convenient to describe asynchronous interaction by setting guard-condition and repeat-condition and IBIA.