Abstract:As a new distributed computing paradigm, web services have been paid more and more attention in recent years because of its efficient ability of building large-scale distributed, loosely coupled applications across different platforms and operating systems. Web services composition has become the hotspot currently in the field of web services research. With the network environment become more and more open, and users' requirements diverse from each other, how to describe the dynamic composition of web services and the validity of the web services have been problems while compositing web services. On the other side, the formal software architecture language XYZ/ADL can represent both static semantics and dynamic semantics under an unified logical framework, and support the stepwise refinement from higher-level architectures to lower-level architectures, so we introduce XYZ/ADL to specify the web services composition from the view of architecture in order to analysis web services composition from the global perspective. In this paper, we first introduce web services and some related works, analyze the similarity between the design elements in XYZ/ADL and activities in BPEL, then present the model of web services composition based on software architecture, using XYZ/ADL to specify the web services composition, furthermore, we define the mapping rules from XYZ/E and XYZ/ADL to BPEL, at last we give an example to illustrate the feasibility of our work and conclude the whole paper.

Formal Specification of Web Services Composition Based on XYZ/ADL

Specification and Verification of Web Service Composition Based on XYZ/ADL

Description and Analysis for Web Service Composition Based on XYZ/ADL

An Approach of Web Service Composition Description Based on Software Architecture

XYZ/ADL Based Web Services Architecture Description

A Formal Specification for Web Services Composition and Verification

Refinement checking for web service composition based on XYZ/ADL

Web-based Application Services Composition for E-Business

Modeling and analysis BPEL-based web services composition using XYZ

Modeling and Analysis for Web Services Composition Based on Dynamic Software Architecture

A Refinement Checking Method of Web Services Composition

A Method For Automatic Composition Of Information Web Services

A Survey on Formal Methods for Web Service Composition

Automatic Composition of Web Services Based on Task Dependency Specification

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL

Description logic based composition of web services

AN APPROACH OF WEB SERVICES COMPOSITION BASED ON SOADL

Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography

SCDL:An object-oriented Web services composition description language

A Formal Description of Web Services Container Architecture

Semantic Composition Web Services Verification Based on MDA