Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Communication Web Services Composition and Integration
ICWS '06 Proceedings of the IEEE International Conference on Web Services
A formal modeling platform for composing web services
Expert Systems with Applications: An International Journal
A Preliminary Practice for BPEL Based Multimedia Conference Web Services Orchestration
AICT '08 Proceedings of the 2008 Fourth Advanced International Conference on Telecommunications
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Web services for communication over IP
IEEE Communications Magazine
Hi-index | 12.05 |
Development of services that span over the Internet and Telecom networks is driving significant efforts towards the integrated of services offered by Telecom operators. Service-oriented communication (SOC) is a new trend in the industry to enable communication through a service-oriented architecture (SOA) and thereby package communications as services. In this paper, we firstly introduce the design and implementation for business process execution language (BPEL) based multimedia conferencing communication services orchestration, and mainly focus on the issue of guaranteeing the correctness of such applications, we presents a Petri net-based approach to analyzing the BPEL based multimedian conferencing communication services orchestration correctness and also a set of translation rules is proposed to transform BPEL processes into Petri nets. Especially, we define the correctness of multimedia conferencing services orchestration and address the verification method based on Petri nets. The algorithms and corresponding reliable issues have been proposed, such as the coverability tree for detecting flow safeness, the incidence matrix & state equation for finding reachable issues, and a transitive matrix for detecting a deadlock problem. With the Petri Net Markup Language (PNML) are introduced to transform a orchestrated services into a Petri net model, and providing an automated support for the formal analysis of their behavior. Finally, we give the conclusions.