共 50 条
- [21] Modeling the Work Unit of WS-CDL Based on Process Algebra 2009 INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN COMPUTER SCIENCE, ICRCCS 2009, 2009, : 149 - 152
- [23] Modeling and Verifying WS-CDL Using Event-B Context-Aware Systems and Applications, (ICCASA 2012), 2013, 109 : 290 - 299
- [24] Towards a Type Theory of WS-CDL Based on Process Algebra ICMECG: 2009 INTERNATIONAL CONFERENCE ON MANAGEMENT OF E-COMMERCE AND E-GOVERNMENT, PROCEEDINGS, 2009, : 380 - +
- [27] Coordination of Ubiquitous Devices in Pervasive Environments: A Proposal Based on WS-CDL 2019 38TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC), 2019,
- [28] A formal model for Web Service Choreography Description Language (WS-CDL) ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 893 - +
- [29] A comparative study between WSCI, WS-CDL, and OWL-S ICEBE 2009: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2009, : 377 - 382