By Topic

A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Yeung, W.L. ; Lingnan Univ., Hong Kong

ebXML is a global business-to-business (B2B) electronic commerce standard which addresses not only the formats and vocabularies of electronic business documents exchanged between business partners, but also the choreography of business transactions during a collaborative process. On the other hand, the service-oriented architectures (SOA) together with Web services promise a new era for B2B collaboration with dynamically created business partnerships transacting based on published choreographies, for which the ebXML BPSS (business process specification scheme) is a major specification language. To implement such a collaboration process, business partners can package their enterprise applications as Web services and orchestrate them in WS-BPEL according to the published choreography for the process. This paper contributes to the successful implementation of collaborative processes based on Web services by introducing a formal basis for verifying the consistency between ebXML BPSS choreography and WS-BPEL Web service orchestration. We illustrate the approach with a contract negotiation process.

Published in:

Asia-Pacific Services Computing Conference, 2008. APSCC '08. IEEE

Date of Conference:

9-12 Dec. 2008