Formal analysis for multimedia conferencing communication services orchestration

5Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

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. © 2009 IEEE.

Author supplied keywords

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free