Modeling the WorkUnit of WS-CDL Based on Process Algebra

The description of choreography, WS-CDL, is an interactive description from global view which lacks formal semantics. The formal syntax and semantics, process algebra for WS-CDL (PA4WS), are proposed to describe WS-CDL using service channel and session channel. Particularly, the notation of WorkUnit is a reusable principle which plays an important role in WS-CDL. The WorkUnit of WS-CDL is modeled in PA4WS. To exemplify the advantages of PA4WS, the interaction of interaction based information alignment (IBIA) and asynchronous interaction are depicted by a case study.