A formal model forweb service choreography description language (WS-CDL)

H Yang, X Zhao, Z Qiu, G Pu… - 2006 IEEE International …, 2006 - ieeexplore.ieee.org
We propose a language CDL as a formal model of simplified WS-CDL. The operational
semantics of CDL is given, and static validation and verification of choreographies is …
被引用次数：101 相关文章
[PDF] researchgate.net

[PDF][PDF] A Formal Model for Web Service Choreography Description Language (WS-CDL)

Y Hongli, Z Xiangpeng, Q Zongyan, P Geguang… - researchgate.net
Abstract The Web Services Choreography Description Language (WS-CDL) is a
specification of W3C developed for the description of peer-to-peer collaborations of …

A Formal Model forWeb Service Choreography Description Language (WS-CDL)

H Yang, X Zhao, Z Qiu, G Pu, S Wang - Proceedings of the IEEE …, 2006 - dl.acm.org
We propose a language CDL as a formal model of simplified WS-CDL. The operational
semantics of CDL is given, and static validation and verification of choreographies is …
[PDF] psu.edu

[PDF][PDF] A Formal Model for Web Service Choreography Description Language (WS-CDL)

Y Hongli, Z Xiangpeng, Q Zongyan, P Geguang… - Citeseer
Abstract The Web Services Choreography Description Language (WS-CDL) is a
specification of W3C developed for the description of peer-to-peer collaborations of …

A Formal Model forWeb Service Choreography Description Language (WS-CDL)

H Yang, X Zhao, Z Qiu, G Pu, S Wang - … Conference on Web Services (ICWS'06) - infona.pl
We propose a language CDL as a formal model of simplified WS-CDL. The operational
semantics of CDL is given, and static validation and verification of choreographies is …

A Formal Model forWeb Service Choreography Description Language (WS-CDL)

H Yang, X Zhao, Z Qiu, G Pu, S Wang - 2006 IEEE International …, 2006 - computer.org
We are interested in identity-based retrieval of face sets from large unlabelled collections
acquired in uncontrolled environments. Given a baseline algorithm for measuring the …