A Petri-Net based Validator in Reliability of a Composite Service

Authors:
Yu-Liang Chi;Ming-Hung Tsai;Chih-Wei Lee
Affiliations:
Chung Yuan Christian Univ., Taiwan;Chung Yuan Christian Univ., Taiwan;Chung Yuan Christian Univ., Taiwan
Venue:
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Year:
2005

Citing 0
Cited 4

CoBTx-Net: A model for business collaboration reliability verification

Information Systems Frontiers
Hierarchical Petri-nets model for the design of e-learning system

Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
CoBTx-Net: a model for reliability verification of collaborative business transaction

BPM'07 Proceedings of the 2007 international conference on Business process management
End-to-end reliability of service oriented applications

Information Systems Frontiers

Quantified Score

Hi-index	0.00

Visualization

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.