The Community for Technology Leaders
e-Technology, e-Commerce, and e-Services, IEEE International Conference on (2005)
Hong Kong, China
Mar. 29, 2005 to Apr. 1, 2005
ISBN: 0-7695-2274-2
pp: 450-453
Ming-Hung Tsai , Chung Yuan Christian Univ., Taiwan
Chih-Wei Lee , Chung Yuan Christian Univ., Taiwan
Yu-Liang Chi , Chung Yuan Christian Univ., Taiwan
ABSTRACT
This paper reports some experiences that we utilize Petri Net models to validate the reliability of a composite Web service. To enable a validate process, the PNML (Petri Net Markup Language) are introduced to transform a composite service into a Petri Net model that can be further used by measurable processes. The algorithms and corresponding reliable issues have been proposed, such as the coverability tree for detecting safeness, the incidence matrix & state equation for finding reachable issues, and a transitive matrix for addressing deadlock problems. Empirical results suggest that the PNML is essential to facilitate composite services to become computable models. More benefits can be applied by using proper Petri Net based algorithms.
INDEX TERMS
null
CITATION
Ming-Hung Tsai, Chih-Wei Lee, Yu-Liang Chi, "A Petri-Net based Validator in Reliability of a Composite Service", e-Technology, e-Commerce, and e-Services, IEEE International Conference on, vol. 00, no. , pp. 450-453, 2005, doi:10.1109/EEE.2005.13
99 ms
(Ver )