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

Web services are emerged as a popular application for implementing large-scale distributed, reactive systems. Web service composition is the hotspot research in the field of Web services. Because the validity is a key requirement in the description of Web service composition, a formal language XYZ/ADL is introduced which describe the composition from the view of architecture. In this paper, we define a mapping from XYZ/ADL to a more practical approach of Web service composition BPEL4WS which is difficult to verify the validity of the composition. First, define the conversion of XYZ/E to BPEL4WS, analyze the similarity between the design elements in XYZ/ADL and activities in BPEL4WS, and then do the conversion of XYZ/ADL to BPEL4WS.