The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking
|
|
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
|
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
|
Siraj Kariyilaparambu Kunjumuhammed.
© 2026.
28 pages.
|
|
Abel Jacob, Abhinav Kataria, Pankaj Dhaundiyal.
© 2026.
28 pages.
|
|
Siraj Kariyilaparambu Kunjumuhammed.
© 2026.
26 pages.
|
|
Antonio Pesqueira, Dora Almeida.
© 2026.
28 pages.
|
|
Shanmuga Pria, Iman Al Rubaie, Venkata vara Prasad.
© 2026.
24 pages.
|
|
Devender K, Kafila M, Geetha Manoharan.
© 2026.
18 pages.
|
|
Terezin Mathew, Roshna Varghese, K Latha.
© 2026.
36 pages.
|
|
|