Welcome to the InfoSci Platform
A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking

A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking

Jinyu Kai, Huaikou Miao, Kun Zhao, Jiaan Zhou, Honghao Gao
Copyright: © 2015 |Pages: 14
ISBN13: 9781466681958|ISBN10: 1466681950|EISBN13: 9781466681965
DOI: 10.4018/978-1-4666-8195-8.ch041
Cite Chapter Cite Chapter

MLA

Kai, Jinyu, et al. "A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking." Business Law and Ethics: Concepts, Methodologies, Tools, and Applications, edited by Information Resources Management Association, IGI Global, 2015, pp. 831-844. https://doi.org/10.4018/978-1-4666-8195-8.ch041

APA

Kai, J., Miao, H., Zhao, K., Zhou, J., & Gao, H. (2015). A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking. In I. Management Association (Ed.), Business Law and Ethics: Concepts, Methodologies, Tools, and Applications (pp. 831-844). IGI Global. https://doi.org/10.4018/978-1-4666-8195-8.ch041

Chicago

Kai, Jinyu, et al. "A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking." In Business Law and Ethics: Concepts, Methodologies, Tools, and Applications, edited by Information Resources Management Association, 831-844. Hershey, PA: IGI Global, 2015. https://doi.org/10.4018/978-1-4666-8195-8.ch041

Export Reference

Mendeley
Favorite

Abstract

Service oriented software systems running in a highly open, dynamic and unpredictable Internet environment are inevitable to face all kinds of uncertainty. To monitor the operation of the web services system behavior analysis and analysis whether the system behavior is consistent with the requirements is the basis to determine whether the system needs to be reconfigured. In this paper, an analytical platform for the behavior of a web service-oriented system based on the probabilistic model checking is introduced which provides the basis for judging whether a system needs to be reconfigured by applying the approach of probabilistic model checking to verify whether the behavior system model is satisfied requirement properties. This platform is implemented in Java language and using the dot tool that the Graphviz provides and the PRISM model checker to construct the behavior model of the web service-oriented system based on web log files, to view and edit behavior models visually, and to convert the model from one form to another to make it convenience for users to use the model checker PRISM. Finally, we can judge whether the model is satisfied the desired requirements according to the verification result.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.