IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

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
View Sample PDF
Author(s): Jinyu Kai (Shanghai University, China & Shanghai Key Laboratory of Computer Software Evaluating and Testing, China), Huaikou Miao (Shanghai University, China & Shanghai Key Laboratory of Computer Software Evaluating and Testing, China), Kun Zhao (Shanghai University, China), Jiaan Zhou (Shanghai University, China)and Honghao Gao (Shanghai University, China)
Copyright: 2015
Pages: 14
Source title: Business Law and Ethics: Concepts, Methodologies, Tools, and Applications
Source Author(s)/Editor(s): Information Resources Management Association (USA)
DOI: 10.4018/978-1-4666-8195-8.ch041

Purchase

View A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking on the publisher's website for pricing and purchasing information.

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.

Related Content

N. L. Swathi, Achukutla Kumar. © 2024. 17 pages.
Gurwinder Singh, Anshika Thakur. © 2024. 21 pages.
Ashok Singh Gaur, Hari Om Sharan, Rajeev Kumar. © 2024. 16 pages.
Sabyasachi Pramanik. © 2024. 17 pages.
Geetha Manoharan, Abdul Razak, C. V. Guru Rao, Sunitha Purushottam Ashtikar, M. Nivedha. © 2024. 28 pages.
Roop Kamal, Manpreet Kaur, Jaspreet Kaur, Shivani Malhan. © 2024. 10 pages.
Anu Sharma. © 2024. 8 pages.
Body Bottom