Research on Interaction Modeling and Mismatch Checking of Time-Aware Web Services
Sheng Wang · Dianzi xuebao · 2011
Targeting the problem of weak time awareness,low service utilization and poor composition reliability in the process of web services composition,we 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.First,we propose timed service protocol(TSP) model to represent interaction behavior of single time-aware web service and timed service protocol network(TSPN) model to represent concurrent composition of multiple time-aware web services;Second,we transform the interaction mismatch detection problem into the determination problem of compatibility of TSP models,define the mapping rules from time-aware web service descriptions to TSP models and from TSP models to UPPAAL specifications,give the CTL representations of compatibility properties and implement automatically interaction mismatch detection of time-aware web services based on model checker UPPAAL,whose result determines whether it is necessary to build adaptor for the next step.Finally,experiments demonstrate feasibility and validity of above idea.