Formal Analysis for Multimedia Conferencing Communication Services Orchestration

Author

Cheng ; Lin, Xiangtao ; Hu, Xiaoxiao ; Chen, Junliang

Author_Institution

State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China

fYear

2009

fDate

6-10 July 2009

Firstpage

1010

Lastpage

1011

Abstract

Service-oriented communication (SOC) is a new trend in the industry to enable communication through a service-oriented architecture (SOA) and thereby encapsulate communication capabilities as services. In this paper, we design the session initiation protocol (SIP) based multimedia conferencing communication services model, And mainly focus on formal analysis for BPEL based multimedia conferencing communication services orchestration and to guarantee the process correctness for such applications, and also providing an automated support for the formal analysis model of their behavior. Finally, we give the conclusions.

Keywords

Web services; multimedia communication; software architecture; BPEL; formal analysis; multimedia conferencing communication services orchestration; service-oriented architecture; session initiation protocol; Communication industry; Communication switching; Communication system control; Joining processes; Laboratories; Multimedia communication; Protocols; Service oriented architecture; Streaming media; Web services; formal analysis; orchestration; services;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Services, 2009. ICWS 2009. IEEE International Conference on

Conference_Location

Los Angeles, CA

Print_ISBN

978-0-7695-3709-2

Type

conf

DOI

10.1109/ICWS.2009.148

Filename

5175928