Research On Interaction Adaptation Of Time-Aware Web Services

With the rapid development and popularization of Internet, networked software is gradually becoming one trend of the next generation software. As a new kind of software entity, software services, which are responsible for encapsulating resources, completing calculations and providing services for outside accessers, are considered as the basic elements of networked software. In recent years, many kinds of software services which are implemented in web services are growing fast on the Internet, and web applications built via assembling existing web services have infiltrated into the government, finance, education and other key industries.Facing the growing number of accessible web services on the Internet, how to effectively reuse the existing web services and ensure the reliability of service com- position system, service adaptation plays an irreplaceable role and has become a hotspot in the field of service computing. From the perspective of interoperability levels, service adaptation may occur on different levels, such as technical, signature, behavioral (inter- action protocol), quality of service (QoS) and semantic, while behavioral level adaptation (i.e. interaction adaptation) research is crucial and difficult.Targeting the problem of weak time awareness, low service utilization and poor composition reliability in the process of web services composition, I propose to bring quantitative timed properties into web services interaction adaptation framework, and make efforts on researching on time-aware web services interaction modeling, automated interaction mismatch detection and automated adaptor protocol generation. Major work and contributions of this dissertation are as follows: First, I study on formal modeling of interaction behavior and timed properties of time-aware web services, propose Timed Service Protocol (TSP) and Timed Service Protocol Network (TSPN) and their semanics with the help of labeled transition system. Second, I transform the interaction mismatch detection problem into the determination problem of compatibility of TSP models and propose a method for automatically detecting interaction mismatches of time-aware web services based on model checker UPPAAL, whose result determines whether it is nec- essary to build adaptor for the next step. Third, for a set of participating time-aware web services whose synchronous TSP models satisfy the partial compatibility propertity, I propose an algorithm for automatically generating adaptor protocol based on Timed Service Interaction (TSI) model and illustrate it with the help of Virtual Travel Agency (VTA) case study.