基于翻译模式的BPEL到LOTOS映射方法研究

发布时间：2018-02-10 05:17

本文关键词： Web服务组合 BPEL LOTOS 翻译模式映射规则　出处：《北方工业大学》2013年硕士论文　论文类型：学位论文

【摘要】：Web服务组合可有效的组装网络中多种跨平台的服务,实现各服务之间的信息共享,并最终形成具有强大功能的服务流程以适应当前复杂的企业环境。而BPEL是实现Web服务组合的常用途径和重要方式,它定义了组合服务的整个控制逻辑。但是,由于网络环境的异构性、服务开发模式的松耦合和服务协同的动态性,使得组合的Web服务在开发和运行环节都存在很多不确定性因素。而Web服务测试只能针对具体的输入对系统进行测试,其测试范围并不全面。所以,为了能在Web服务投入运行之前发现组合中的重大问题,Web服务组合可验证系统所具有的性质。Web服务组合验证和服务测试相结合,是屏蔽服务组合缺陷的双保险。采用形式化方法描述WEB服务组合,并基于形式化技术对服务组合逻辑正确性进行验证是一种检验效果显著的途径。本文采用形式化描述语言LOTOS对BPEL进行建模,使用CADP工具集中的模型检测器Evaluator对建立的模型进行验证,从而保证服务组合流程的正确性。而将BPEL描述的Web服务组合自动转换为LOTOS描述,就成为了保证验证过程正确性的前提条件。实现BPEL到LOTOS的自动转换,首先需明确BPEL到LOTOS的语义映射规则。为保障LOTOS中数据与BPEL中数据的一致性,本文在基本语义映射规则的基础上给出了BPEL到LOTOS的数据类型映射。另外,针对BPEL中的故障处理给出了相应的映射规则。BPEL是动态组合Web服务的,其组合情况千变万化,为了保证自动转换过程一定的通用性,本文提出一种基于翻译模式的BPEL到LOTOS转换算法。从BPEL语言的XML Schema定义出发,分析BPEL语言本身结构,根据其活动元素和属性之间的关系得到BPEL产生式。根据这两类语言间的的语义映射规则,分析综合属性和继承属性,设计得到产生式语义动作,进而得到整个翻译模式,并使用SWT技术实现该自动转换工具。最后结合Web服务实例,验证该工具的可行性。
[Abstract]:Web services composition can effectively assemble a variety of cross-platform services in the network, and realize the information sharing among the services. And finally form a powerful service flow to adapt to the current complex enterprise environment. BPEL is a common way and an important way to implement Web services composition, which defines the entire control logic of composite services. Because of the heterogeneity of network environment, the loose coupling of service development mode and the dynamic of service collaboration, The Web service test can only test the system for specific input, and its testing scope is not comprehensive. In order to find out the important problems in composition before Web services are put into operation, the nature of Web services composition verification system is combined with service testing, which is a double insurance against the defects of service composition. Formal method is used to describe WEB service composition, and to verify the correctness of service composition logic based on formalization technology. In this paper, a formal description language LOTOS is used to model BPEL. In order to ensure the correctness of the service composition process, the model detector Evaluator in the CADP tool set is used to verify the established model, and the Web service composition described by BPEL is automatically converted into LOTOS description. It has become a prerequisite to ensure the correctness of the verification process. In order to realize the automatic transformation from BPEL to LOTOS, the semantic mapping rules from BPEL to LOTOS should be defined first. In order to ensure the consistency of data in LOTOS and BPEL, this paper gives the data type mapping from BPEL to LOTOS on the basis of basic semantic mapping rules. The corresponding mapping rule. BPEL is a dynamic composition of Web services for fault handling in BPEL. The composition of Web services varies greatly. In order to ensure the generality of the automatic transformation process, the mapping rule. This paper presents an algorithm for transforming BPEL to LOTOS based on translation mode. Based on the definition of XML Schema in BPEL language, the structure of BPEL language is analyzed. According to the relation between the active elements and the attributes, the BPEL production is obtained. According to the semantic mapping rules between the two languages, the synthesis and inheritance attributes are analyzed, and the production semantic actions are designed, and the whole translation mode is obtained. The SWT technology is used to realize the automatic transformation tool. Finally, the feasibility of the tool is verified by the example of Web service.
【学位授予单位】：北方工业大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP311.53

【相似文献】