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.