Pattern-Based Specification and Validation of Web Services Interaction Properties

There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is about the interaction process of the service concerned, and adopts a procedural programming style. We argue that this style of description for service interactions is not natural to publishing service behavior properties from the viewpoint of facilitating third-party service composition and analysis. In this paper, we introduce a declarative approach that better supports the specification and use of service interaction properties in the service description and composition process. This approach uses patterns to describe the interaction behavior of a service as a set of constraints. As such, it supports the incremental description of a service's interaction behavior from the service developer's perspective, and the easy understanding and analysis of the interaction properties from the service user&#...

• Type: Conference
• Year: 2005
• Where: ICSOC
• Authors: Zheng Li, Jun Han, Yan Jin
• Keywords: Description, ICSOC 2005, Interaction Properties, Service Interaction