【作者】 魏慧；

【导师】 张广泉；

【作者基本信息】 苏州大学 ， 计算机软件与理论， 2008， 硕士

【摘要】 面向服务的体系结构作为近年来软件工程领域出现的一个新兴的研究方向,其技术得到迅速发展和应用。Web服务组合技术作为实现面向服务体系结构的一项重要技术,已成为当今学术界和工业界共同重视的研究内容之一。目前,主流的Web服务组合描述方法主要分为两大类:形式化的描述方法和工业化的描述方法,二者在描述Web服务组合方面有很强的互补性。Web服务组合其本质是Web服务的复用,而软件体系结构是实现软件复用的重要手段之一。基于上述思想,本文提出了从软件体系结构角度研究Web服务组合的方法。研究了基于时序逻辑的体系结构描述语言XYZ/ADL和基于商务流程的Web服务组合语言BPEL4WS相结合描述Web服务组合的方法。XYZ/ADL具有严格的形式化语义,便于验证组合的正确性,通过将XYZ/ADL描述转化为BPEL4WS的描述,从而从侧面验证了BPEL4WS描述的正确性。通过研究二者之间的转换规则,实现形式化和工业化方法相结合描述Web服务组合。本文具体工作如下:首先,根据Web服务及其组合的特点,在原有体系结构模型的基础上进行扩展,得到了Web服务组合体系结构模型。其次,基于该模型,采用扩展的XYZ/ADL描述Web服务组合,定义Web服务组件及描述其交互的连接件。再次,建立了XYZ/ADL至BPEL4WS转换规则。该转换分为两步:首先定义了XYZ/ADL的语义基础——XYZ/E的基本结构到BPEL4WS的转换,然后通过分析XYZ/ADL的设计元素和BPEL4WS元素之间的语义相似性,定义了XYZ/ADL和BPEL4WS的映射关系。最后,结合一个实例系统证明本文所做工作的可行性。更多还原

【Abstract】 Service-Oriented Architecture(SOA) is an newly aspect of Software Engineering, whose technique has been rapidly developed and applied. Web service composition as an important implementation technique of SOA is present in the mainstream academic and industrial focus.Nowadays the main description methods of Web service composition are formalization description and industrial description. This two methods are complement to each other in the description of Web Service Composition. The technique of Web Service Composition is essentially the reuse of Web services, and software architecture is an important approach of implementing software reuse.So in this paper, it proposes the research of Web Service Composition based on software architecture. It does the research of the description combining software architecture description language XYZ/ADL based on temporal logic and Web service composition language BPEL4WS based on business process to describe Web service composition. XYZ/ADL having formal semantic is easy to verify the composition, and by doing the conversion of XYZ/ADL to BPEL4WS, it can indirectly verify the correctness of BPEL4WS. In this way, it combines the formalization method and industrial method.In this paper, according to the characteristics of Web services and Web service composition, the model of Web Service Composition Architecture is achieved after extending the model of software architecture. Basd on this model, the extended XYZ/ADL which defines the components describing Web services and connectors describing the interaction is introduced. After describing the compositon in XYZ/ADL, define the conversion of XYZ/ADL into BPEL4WS. The convesion is divided into two parts: Fisrt, define the conversion of the basic structures in XYZ/E into BPEL4WS, Second, analyze the analogies between XYZ/ADL design elements and BPEL4WS basic element to define the conversion of XYZ/ADL design elements into BPEL4WS. Finally, describes the usability of this Web service composition method combined with an example.更多还原