Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration
| العنوان: | Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration |
|---|---|
| المؤلفون: | Zhang Chengwen, Chen Junliang, Cheng Bo |
| المصدر: | International Journal of Computational Intelligence Systems, Vol 5, Iss 1, Pp 148-162 (2012) International Journal of Computational Intelligence Systems, Vol 5, Iss 1 (2012) |
| بيانات النشر: | Atlantis Press, 2012. |
| سنة النشر: | 2012 |
| مصطلحات موضوعية: | Service (systems architecture), Correctness, General Computer Science, computer.internet_protocol, Computer science, computer.software_genre, lcsh:QA75.5-76.95, reduction rules, Orchestration (computing), Multimedia, business.industry, InformationSystems_INFORMATIONSYSTEMSAPPLICATIONS, correctness verification, QA75.5-76.95, Petri net, Petri Net Markup Language, multimedia conferencing, Business Process Execution Language, Computational Mathematics, services orchestration, Asynchronous communication, Electronic computers. Computer science, The Internet, lcsh:Electronic computers. Computer science, business, computer, Service net |
| الوصف: | 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. |
| اللغة: | English |
| تدمد: | 1875-6883 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ab8e7328e63f69d9df255fbe3da0e75 https://doaj.org/article/f4c26c6e9d2d45908b5cfe978c16aac3 |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....0ab8e7328e63f69d9df255fbe3da0e75 |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 18756883 |
|---|