Petri net based formal analysis for multimedia conferencing services orchestration

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.

[1]  Feng Liu,et al.  Web services for communication over IP , 2008, IEEE Communications Magazine.

[2]  MengChu Zhou,et al.  Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[3]  Hsun-Ming Lee,et al.  A formal modeling platform for composing web services , 2008, Expert Syst. Appl..

[4]  Valentín Valero,et al.  Design and Verification of Web Services Compositions , 2009, 2009 Fourth International Conference on Internet and Web Applications and Services.

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  R. Karp,et al.  Properties of a model for parallel computations: determinacy , 1966 .

[7]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[8]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[9]  Jongkun Lee,et al.  Deadlock analysis of Petri nets using the transitive matrix , 2002, Proceedings of the 41st SICE Annual Conference. SICE 2002..

[10]  Paolo Falcarin,et al.  Communication Web Services Composition and Integration , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).