towards trace semantics for ws-cdl with alignments
WS-CDL (Web Service Choreography Description Language) provides a global view to describe the interactive behaviors between multiple participants of Web Services. Although the alignment property plays an important role in the WS-CDL specification, little attention has been paid on the research of alignments. In this paper, we aim at exploring the essence of alignment property and providing formal semantics for WS-CDL with alignments. To achieve this goal, we first define a formal language CDLa, which includes the basic components in WS-CDL. We then discuss the influence of alignment property to the semantics of these components and propose five possible local action based trace semantics for CDLa.
trace semantics ws-cdl alignment