By Topic

Two-way Web service: from interface design to interface verification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Li Li ; Avaya Labs. Res., Basking Ridge, NJ, USA ; Wu Chou

In this paper, we introduce a theoretical framework for two-way Web service (WS) interaction and interface design based on the concepts of operation reversal and XML type generalization. Under this theoretical framework, two generic types of interface solutions in two-way WS interaction, i.e. tightly coupled (TC) interface and loosely coupled (LC) interface, are formally defined and studied. The proposed theoretical framework is used to design, derive and verify WS interface for full duplex two-way WS interaction. An algorithm of interface verification is described that allows effective WS interface design and verification to support asynchronous two-way WS operation and event notification. The interface verification algorithm in our approach utilizes verification by derivation and verification by content to validate the client interface in two-way WS interaction. Use case studies are performed for both TC and LC interface solutions. A generic infrastructure based on two-way Web service application proxy (2SAP) is described and implemented. The proposed approach is applied to applications of realizing ECMA-348 for WS enablement of telecommunication.

Published in:

Web Services, 2005. ICWS 2005. Proceedings. 2005 IEEE International Conference on

Date of Conference:

11-15 July 2005