A formal and visual modeling approach to choreography based web services composition and conformance verification

Wing Lok YEUNG

Research output: Journal PublicationsJournal Article (refereed)

19 Citations (Scopus)

Abstract

Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners' web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-* notations in composition.
Original languageEnglish
Pages (from-to)12772-12785
Number of pages14
JournalExpert Systems with Applications
Volume38
Issue number10
DOIs
Publication statusPublished - 15 Sep 2011

Fingerprint

Web services
Chemical analysis
Industry
Model checking
Service oriented architecture (SOA)
Specifications

Keywords

  • Web services
  • choreography
  • conformance verification
  • contract negotiation
  • model checking
  • orchestration

Cite this

@article{da2ee5bdac60429fa59692684060605c,
title = "A formal and visual modeling approach to choreography based web services composition and conformance verification",
abstract = "Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners' web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-* notations in composition.",
keywords = "Web services, choreography, conformance verification, contract negotiation, model checking, orchestration",
author = "YEUNG, {Wing Lok}",
year = "2011",
month = "9",
day = "15",
doi = "10.1016/j.eswa.2011.04.068",
language = "English",
volume = "38",
pages = "12772--12785",
journal = "Expert Systems with Applications",
issn = "0957-4174",
publisher = "Elsevier Ltd",
number = "10",

}

A formal and visual modeling approach to choreography based web services composition and conformance verification. / YEUNG, Wing Lok.

In: Expert Systems with Applications, Vol. 38, No. 10, 15.09.2011, p. 12772-12785.

Research output: Journal PublicationsJournal Article (refereed)

TY - JOUR

T1 - A formal and visual modeling approach to choreography based web services composition and conformance verification

AU - YEUNG, Wing Lok

PY - 2011/9/15

Y1 - 2011/9/15

N2 - Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners' web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-* notations in composition.

AB - Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners' web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-* notations in composition.

KW - Web services

KW - choreography

KW - conformance verification

KW - contract negotiation

KW - model checking

KW - orchestration

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

U2 - 10.1016/j.eswa.2011.04.068

DO - 10.1016/j.eswa.2011.04.068

M3 - Journal Article (refereed)

VL - 38

SP - 12772

EP - 12785

JO - Expert Systems with Applications

JF - Expert Systems with Applications

SN - 0957-4174

IS - 10

ER -