共 40 条
- [1] BPEL4WS verification environment using an enhanced OWL-S and VDM++ 2006 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATIONS, VOLS 1 AND 2, 2007, : 625 - 630
- [2] On simulation of BPEL4WS/UML descriptions 12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 103 - 109
- [4] Formal verification of BPEL4WS business collaborations E-COMMERCE AND WEB TECHNOLOGIES, 2004, 3182 : 76 - 85
- [5] 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
- [6] Transformation algorithms between BPEL4WS and BPML for the executable business process THIRTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2004, : 135 - 140
- [7] Transformation algorithms between WSCI and BPEL4WS for the collaborative business process 7th International Conference on Advanced Communication Technology, Vols 1 and 2, Proceedings, 2005, : 285 - 290
- [8] Simulating process orchestrations in business networks: A case wing BPEL4WS Seventh International Conference on Electronic Commerce, Vols 1 and 2, Selected Proceedings, 2005, : 471 - 477
- [9] 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
- [10] A method to extend BPEL4WS to enable business performance measurement ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES, 2003, : 46 - 51