Issue No. 01 - January/February (2009 vol. 35)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2008.51
Pamela Zave , AT&T Laboratories-Research, Florham Park
Eric Cheung , AT&T Laboratories-Research, Florham Park
In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even thou the media packets themselves travel directly between media endpoints. The application servers must be programmed so that media behavior is globally correct, even though the servers may attempt to manipulate the same media channels concurrently and without knowledge of each other. Our proposed solution to this problem of compositional media control includes an architecture-independent descriptive model, a set of high-level programming primitives, a formal specification of their compositional semantics, a signaling protocol, an implementation, and partial verification of correctness. The paper includes performance analysis, comparison to related work, and principles for making other networked applications more compositional.
distributed applications, domain-specific architectures, protocol verification, protocol design, software/program verification, networks, streaming media, multimedia services, telecommunications, feature interaction
E. Cheung and P. Zave, "Compositional Control of IP Media," in IEEE Transactions on Software Engineering, vol. 35, no. , pp. 46-66, 2008.