共 50 条
- [1] Implementing BPEL4WS: the architecture of a BPEL4WS implementation CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2006, 18 (10): : 1219 - 1228
- [2] Formal verification of BPEL4WS business collaborations Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3182 : 76 - 85
- [3] Formal verification of BPEL4WS business collaborations E-COMMERCE AND WEB TECHNOLOGIES, 2004, 3182 : 76 - 85
- [4] From DAML-S processes to BPEL4WS 14TH INTERNATIONAL WORKSHOP ON RESEARCH ISSUES ON DATA ENGINEERING: WEB SERVICES FOR E-COMMERCE AND E-GOVERNMENT APPLICATIONS, PROCEEDINGS, 2004, : 77 - 84
- [5] A method to extend BPEL4WS to enable business performance measurement ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES, 2003, : 46 - 51
- [6] An approach to extract RBAC models from BPEL4WS processes THIRTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2004, : 81 - 86
- [7] Semantics based verification and synthesis of BPEL4WS abstract processes IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 734 - 737
- [8] Web services and BPEL4WS for dynamic eBusiness negotiation processes ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES, 2003, : 111 - 117
- [9] Exception handling in the BPEL4WS language BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2003, 2678 : 276 - 290
- [10] Model Checking for BPEL4WS with Time ADVANCES IN WEB AND NETWORK TECHNOLOGIES, AND INFORMATION MANAGEMENT, PROCEEDINGS, 2007, 4537 : 528 - +