共 50 条
- [21] Enacting the distributed business workflows using BPEL4WS on the multi-agent platform MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2005, 3550 : 35 - 46
- [22] Agent negotiation based on BPEL4WS flow and constraints ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2, 2004, : 1697 - 1702
- [23] A model checking approach to verify BPEL4WS workflows IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS, PROCEEDINGS, 2007, : 13 - +
- [24] A parametric communication model for the verification of BPEL4WS compositions FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 318 - 332
- [25] Orchestration of Time-Constrained BPEL4WS Workflows 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, 2008, : 1 - 4
- [26] Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 265 - +
- [28] Automated synthesis of composite BPEL4WS web services 2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 293 - 301
- [29] From BPEL4WS to OWL-S: Integrating e-business process descriptions 2005 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, VOL 1, PROCEEDINGS, 2005, : 181 - 188
- [30] Automating the provisioning of application services with the BPEL4WS workflow language UTILITY COMPUTING, 2004, 3278 : 15 - 27