共 50 条
- [1] Automatic Generation of Test Models for Web Services Using WSDL and OCL [J]. SERVICE-ORIENTED COMPUTING, ICSOC 2013, 2013, 8274 : 483 - 490
- [2] Extending BPEL for WSDL-Temporal based Web Services [J]. 2012 12TH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS (HIS), 2012, : 484 - 489
- [3] WSDL-based automatic test case generation for Web Services testing [J]. SOSE 2005: IEEE INTERNATIONAL WORKSHOP ON SERVICE-ORIENTED SYSTEM ENGINEERING, 2005, : 207 - 212
- [4] From BPMN process models to BPEL Web Services [J]. ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 285 - +
- [5] Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (98): : 3 - 16
- [6] WSDL automatic generation from UML models in a MDA framework [J]. INTERNATIONAL CONFERENCE ON NEXT GENERATION WEB SERVICES PRACTICES, 2005, : 319 - 324
- [7] Automatic message flow analyses for web services based on WSDL [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 880 - +
- [8] Semi-automatic generation of web services and BPEL processes -: A model-driven approach [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2005, 3649 : 64 - 79
- [9] A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL [J]. 2012 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC), 2012, : 61 - 69
- [10] Automatic Generation of Web Service Composition Templates Using WSDL Descriptions [J]. INFORMATION SYSTEMS DESIGN AND INTELLIGENT APPLICATIONS, VOL 2, 2015, 340 : 317 - 325