基于接口自动机的web服务行为过滤研究

【作者】 吉春山；

【导师】 刘晓燕；

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

【摘要】 一种新的软件形态—面向服务的计算(Service-Oriented Computing,SOC)正在蓬勃兴起,旨在解决互联网上各种应用之间的互操作问题。因为基于不同中间件开发的不同应用,加上通信机制各不相同,服务之间难以互相合作。为了使不同服务构成的系统可以实现互相合作,服务组合问题便成为国内外众多专家学者深入探讨的课题。为了解决服务之间不兼容的问题,本文介绍了一种基于接口自动机的web服务行为过滤的途径,其基本思想是:在接口自动机这一理论框架下,利用一个算法解决基于场景的构件行为过滤问题,基于构件和服务的相似性,实现构件行为过滤方法在webservice中的应用。本文介绍了接口自动机理论,扩展了其中环境的概念,用接口自动机为构件建立行为模型。利用条件排斥环境的算法,描述了如何从构件中剔除场景规约中描述的用户不想要的行为,同时还要对构件中用户想要的行为予以保留,即基于场景的构件行为过滤问题。通过构造条件排斥环境的方法,由场景规约描述的原构件中的用户不想要行为均不保留在构件与条件排斥环境的组合中,而用户想要行为则均被保留在构件与条件排斥环境的组合中。本文实现了web service的业务流程可执行语言BPEL到接口自动机的转换,其目的是用接口自动机对服务组合的行为进行检验。接口自动机这一形式化工具,可以提高服务的适应性,弥补BPEL语言本身对服务行为刻画的不足。更多还原

【Abstract】 A new form of software, service orented computing, is rising vigorously.It is used to solve the problem of multi-operation in the internet Because of the different uses based on the different middleware, the communication mechanism isn’t the same,the co-operation between the services are difficult.In order to make the system which composed by different services to realize co-operation,the problem of service composition becomes the subject which many experts and scholars from home and abroard discussed.In order to solve the problem of uncompatible services, the paper introduces a method which is called filtering services’ act based on interface automaton.The basic idea is: based on the theoretical framework of interface automaton, introducing an algorithm to filter the behavior of components based on scenes. Based on the similarity of component and service, achieving the filtering methods of component is applicated in web service.This paper introduces the theory of interface automaton, extends it in the concept of environment. It uses interface automaton (1A) to model the behavior of components. Using the algorithm of conditional exclusive environment ,the paper descripes that how to discard the users’ undesired behavior and preserve the desired behavior in components according to scenario specifications, i.e., the scenario-based components behavior filtration. For solving this problem, it introduces the conditional exclusive environment (CXE). All undesired behavior, specified by one scenario, of the component is removed in the composition of the component and the CXE. At the same time, all desired behavior, specified by the other scenario, of the component is preserved in the composition of the component and the CXE.The paper realizes the transition from business process execution language to interface automaton. The purpose of the transition is using IA to verificate the service composition. As one formal tool, interface automaton, it can improve the adaptability of web service, fech up the deficiency which BPEL depicts the behavior of web service.更多还原