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
Publisher
Pergamon Press
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
Language
English
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