Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Experience with component-based development of a telecommunication service
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
IEEE Communications Magazine
Context-sensitive call control using constraints and rules
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Hi-index | 0.00 |
When there is more than one application server in the signaling path between IP media endpoints, and the servers manipulate media flow, media flow must be controlled com-positionally. This paper presents a protocol, signaling architecture, API, and API implementation for distributed, compositional media control. The semantics of the API is specified in linear temporal logic, and the implementation has been partially verified by model checking. The principles developed to solve this problem may be useful for making other network applications compositional.