Title :
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
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;
Conference_Titel :
Web Services, 2009. ICWS 2009. IEEE International Conference on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3709-2
DOI :
10.1109/ICWS.2009.148
