Modeling and analysis BPEL-based web services composition using XYZ

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.