共 50 条
- [1] A QoS view of web service choreography [J]. ICEBE 2007: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2007, : 607 - +
- [2] Compatibility verification for web service choreography [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 738 - 741
- [4] Formalizing Web service choreography interface [J]. 21ST INTERNATIONAL CONFERENCE ON ADVANCED NETWORKING AND APPLICATIONS WORKSHOPS/SYMPOSIA, VOL 2, PROCEEDINGS, 2007, : 576 - +
- [5] ScriptOrc : A Specification Language for Web Service Choreography [J]. 2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 1089 - +
- [6] A Petri Net Semantics for Web Service Choreography [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1689 - 1690
- [8] Semantic Web Service Choreography: Contracting and Enactment [J]. SEMANTIC WEB - ISWC 2008, 2008, 5318 : 550 - +
- [9] A Logical Representation and Verification of Web Service Choreography [J]. 2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 2, PROCEEDINGS, 2009, : 404 - +
- [10] COLLABORATION VS. CHOREOGRAPHY CONFORMANCE IN BPMN [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (04) : 7:1 - 7:37