A Novel Approach to Dynamically Construct User Navigation-Oriented Quantitative Model for Web Service
Honghao Gao, Huaikou Miao, Hongwei Zeng, Yonghua Zhu · Applied Mathematics & Information Sciences · 2015
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 that Web-based service applic ation frequently experiences problems, such as unreachable pages and reduced responsiveness. To address this problem, the primary task is to verify and test Web 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 c onstraint 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.