Formal Analysis for Multimedia Conferencing Communication Services Orchestration
Bo Hao Cheng, Xiangtao Lin, Xiaoxiao Hu, Junliang Chen · 2009
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.