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

Wing Lok YEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

4 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008
PublisherIEEE Computer Society
Pages524-529
Number of pages6
DOIs
Publication statusPublished - 1 Jan 2008

Fingerprint

Web services
Specifications
Industry
Specification languages
Electronic commerce
Service oriented architecture (SOA)

Bibliographical note

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

Keywords

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

Cite this

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). IEEE Computer Society. https://doi.org/10.1109/APSCC.2008.295
YEUNG, Wing Lok. / A formal basis for cross-checking EBXML BPSS choreography and web service orchestration. Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008. IEEE Computer Society, 2008. pp. 524-529
@inproceedings{f42ac7a4ef58422d916fe56297c011e5,
title = "A formal basis for cross-checking EBXML BPSS choreography and web service orchestration",
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.",
keywords = "Choreography, Collaborative processes, Consistency checking, Orchestration, Web services",
author = "YEUNG, {Wing Lok}",
note = "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",
year = "2008",
month = "1",
day = "1",
doi = "10.1109/APSCC.2008.295",
language = "English",
pages = "524--529",
booktitle = "Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008",
publisher = "IEEE Computer Society",
address = "United States",

}

YEUNG, WL 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. IEEE Computer Society, pp. 524-529. https://doi.org/10.1109/APSCC.2008.295

A formal basis for cross-checking EBXML BPSS choreography and web service orchestration. / YEUNG, Wing Lok.

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008. IEEE Computer Society, 2008. p. 524-529.

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

TY - GEN

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

AU - YEUNG, Wing Lok

N1 - 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

PY - 2008/1/1

Y1 - 2008/1/1

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

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

KW - Choreography

KW - Collaborative processes

KW - Consistency checking

KW - Orchestration

KW - Web services

UR - http://commons.ln.edu.hk/sw_master/7030

U2 - 10.1109/APSCC.2008.295

DO - 10.1109/APSCC.2008.295

M3 - Conference paper (refereed)

SP - 524

EP - 529

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

PB - IEEE Computer Society

ER -

YEUNG WL. 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. IEEE Computer Society. 2008. p. 524-529 https://doi.org/10.1109/APSCC.2008.295