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. © 2009 IEEE.
CITATION STYLE
Cheng, B., Lin, X., Hu, X., & Chen, J. (2009). Formal analysis for multimedia conferencing communication services orchestration. In 2009 IEEE International Conference on Web Services, ICWS 2009 (pp. 1010–1011). https://doi.org/10.1109/ICWS.2009.148
Mendeley helps you to discover research relevant for your work.