Filtration Of Interface Automata-based Web Service Behavior

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.