Title

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

Document Type

Journal article

Source Publication

Expert Systems With Applications

Publication Date

9-15-2011

Volume

38

Issue

10

First Page

12772

Last Page

12785

Keywords

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

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.

DOI

10.1016/j.eswa.2011.04.068

Print ISSN

09574174

E-ISSN

18736793

Publisher Statement

Copyright © 2011 Elsevier Ltd

Access to external full text or publisher's version may require subscription.

Full-text Version

Publisher’s Version

Recommended Citation

Yeung, W. L. (2011). A formal and visual modeling approach to choreography based web services composition and conformance verification. Expert Systems with Applications, 38(10), 12772-12785. doi: 10.1016/j.eswa.2011.04.068