Welcome to the InfoSci Platform
Reference Hub5
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 |Volume: 3 |Issue: 2 |Pages: 15
ISSN: 2166-7160|EISSN: 2166-7179|EISBN13: 9781466680609|DOI: 10.4018/ijsi.2015040104
Cite Article Cite Article

MLA

Kai, Jinyu, et al. "A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking." IJSI vol.3, no.2 2015: pp.24-38. http://doi.org/10.4018/ijsi.2015040104

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. International Journal of Software Innovation (IJSI), 3(2), 24-38. http://doi.org/10.4018/ijsi.2015040104

Chicago

Kai, Jinyu, et al. "A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking," International Journal of Software Innovation (IJSI) 3, no.2: 24-38. http://doi.org/10.4018/ijsi.2015040104

Export Reference

Mendeley
Favorite Full-Issue Download

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.