Title

A formal basis for cross-checking EBXML BPSS choreography and web service orchestration

Document Type

Conference paper

Source Publication

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008

Publication Date

1-1-2008

First Page

524

Last Page

529

Publisher

IEEE Computer Society

Keywords

Choreography, Collaborative processes, Consistency checking, Orchestration, Web services

Abstract

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 collaborative 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.

DOI

10.1109/APSCC.2008.295

Publisher Statement

Copyright © 2008 IEEE. Access to external full text or publisher's version may require subscription.

Additional Information

Paper presented at the 3rd IEEE Asia-Pacific Services Computing Conference (APSCC 2008), 9-12 December 2008, Yilan, Taiwan.

ISBN of the source publication: 9780769534732

Full-text Version

Publisher’s Version

Recommended Citation

Yeung, W. L. (2008). A formal basis for cross-checking EBXML BPSS choreography and web service orchestration. In Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008 (pp. 524-529). Piscataway: IEEE Computer Society. doi: 10.1109/APSCC.2008.295

Share

COinS