International Journal of Computational Intelligence Systems

<Previous Article In Issue
Next Article In Issue>
Volume 5, Issue 1, February 2012, Pages 148 - 162

Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration

Authors
Cheng Bo, Zhang Chengwen, Chen Junliang
Corresponding Author
Cheng Bo
Available Online 1 February 2012.
DOI
10.1080/18756891.2012.670527How to use a DOI?
Keywords
Service net, reduction rules, correctness verification, multimedia conferencing, services orchestration
Abstract

Multimedia conferencing is increasingly becoming a very important and popular application over Internet. Due to the complexity of asynchronous communications and handle large and dynamically concurrent processes for multimedia conferencing, which confront relevant challenge to achieve sufficient correctness guarantees, and supporting the effective verification methods for multimedia conferencing services orchestration is an extremely difficult and challenging problem. In this paper, we firstly present the Business Process Execution Language (BPEL) based conferencing service orchestration, and mainly focus on the service net based correction verification approach for multimedia conferencing services orchestration, which can automatically translated the BPEL based service orchestration into a corresponding Petri net model with the Petri Net Markup Language (PNML), and also present the BPEL service net reduction rules and multimedia conferencing service orchestration correction verification algorithms. We perform the correctness analysis and verification using the service net properties as safeness, reachability and deadlocks, and also provide an automated support tool for the formal analysis and soundness verification for the multimedia conferencing services orchestration scenarios. Finally, we give the comparison and evaluations.

Copyright
© 2017, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

<Previous Article In Issue
Next Article In Issue>
Journal
International Journal of Computational Intelligence Systems
Volume-Issue
5 - 1
Pages
148 - 162
Publication Date
2012/02/01
ISSN (Online)
1875-6883
ISSN (Print)
1875-6891
DOI
10.1080/18756891.2012.670527How to use a DOI?
Copyright
© 2017, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

risenwbib
TY  - JOUR
AU  - Cheng Bo
AU  - Zhang Chengwen
AU  - Chen Junliang
PY  - 2012
DA  - 2012/02/01
TI  - Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration
JO  - International Journal of Computational Intelligence Systems
SP  - 148
EP  - 162
VL  - 5
IS  - 1
SN  - 1875-6883
UR  - https://doi.org/10.1080/18756891.2012.670527
DO  - 10.1080/18756891.2012.670527
ID  - Bo2012
ER  -