Leveraging Integrated Tools for Model-Based Analysis of Service Compositions

—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. Examples are defining service composition behaviour, in the form of the Business Process Execution Language for Web Services (WS-BPEL) and a global service choreography policy, in the form of the Web Service Choreography Description Language (WS-CDL). Whilst there have been a number of model-based analysis tools reported, there is a lack of integration with development environments to support analysis of these different service artifacts. In this paper we present a short history of some of the analysis tools reported, discuss an appropriate criteria of accessible integrated development with analysis features and provide an example approach, called ”Service Engineer” using our tools and integration work. The approach is supported by an integrated service tool-chain development environment known as the SEN...

• Type: Conference
• Year: 2008
• Where: ICIW
• Authors: Howard Foster, Philip Mayer
• Keywords: Development Environment, ICIW 2008, Internet Technology, Service Choreography, Service Compositions