Paper Info
Title
Towards trace semantics for WS-CDL with alignments
Abstract
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.
Year
DOI
Venue
2008
10.1145/1363686.1363713
SAC
Keywords
Field
DocType
ws-cdl specification,important role,web services,web service choreography description,trace semantics,basic component,alignment property,towards trace semantics,formal language,global view,formal semantics,web service,trace,semantics
Formal semantics (linguistics),Operational semantics,Formal language,Programming language,Computational semantics,Computer science,Choreography,Web service,Semantics,Semantics of logic
Conference
Citations 
PageRank 
References 
0
0.34
14
Authors
3
Name
Order
Citations
PageRank
Yahui Lu151.19
Li Zhang24110.80
Jia-guang Sun31807134.30