Hong Kong, China
Mar. 29, 2005 to Apr. 1, 2005
Yu-Liang Chi , Chung Yuan Christian Univ., Taiwan
Ming-Hung Tsai , Chung Yuan Christian Univ., Taiwan
Chih-Wei Lee , Chung Yuan Christian Univ., Taiwan
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EEE.2005.13
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.
Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee, "A Petri-Net based Validator in Reliability of a Composite Service", EEE, 2005, e-Technology, e-Commerce, and e-Services, IEEE International Conference on, e-Technology, e-Commerce, and e-Services, IEEE International Conference on 2005, pp. 450-453, doi:10.1109/EEE.2005.13