|
|
 |
| |
|
|
|
A Novel Approach to Dynamically Construct User Navigation-Oriented Quantitative Model for Web Service |
|
|
|
PP: 2113-2125 |
|
|
|
Author(s) |
|
|
|
Honghao Gao,
Huaikou Miao,
Hongwei Zeng,
Yonghua Zhu,
|
|
|
|
Abstract |
|
|
| 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. |
|
|
|
|
|
|
|
