Author Country (or Countries)

P.R. China


Web service is considered as one of computational resources available on network, which has become a popular paradigm to develop platform-independent applications. However, due to the diverse-grained, non-determinism, and timeliness natures of Web service, it is not surprising thatWeb-based service application frequently experiences problems, such as unreachable pages and reduced responsiveness. To address this problem, the primary task is to verify and testWeb engineering for trustworthy, in which the quantitative model generation of service behaviors plays a critical role during software life cycle, especially business processes verification. In this paper, navigation behaviors between Web application and users are formalized as service process. Then, the navigation model corresponding to service process is extended with non-functional specifications by using probability matrix and time constraint pair method, mainly random natures and time features. Finally, the comprehensive model and its parallel composition are introduced to cope with more complex service interactions modeling. In conclusion, our navigation-oriented quantitative model specified with time constrains and probability specifications gives a solution to dynamic features extraction for constructing hybrid model of Web service.

Suggested Reviewers