Generalized Third-Party Call Control in SIP Networks
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Understanding SIP through Model-Checking
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Abstractions for programming SIP back-to-back user agents
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Applying Event-B atomicity decomposition to a multi media protocol
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Contract-based synchronization of IP telecommunication services: a case study
Proceedings of the 5th International Conference on Communication System Software and Middleware
Mid-call, multi-party, and multi-device telecommunication features and their interactions
IPTcomm '11 Proceedings of the 5th International Conference on Principles, Systems and Applications of IP Telecommunications
Journal of Systems and Software
A systematic approach to atomicity decomposition in event-b
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
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.