ECharts for SIP servlets: a state-machine programming environment for VoIP applications
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Understanding SIP through Model-Checking
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Towards automated functional testing of converged applications
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Hi-index | 0.00 |
A back-to-back user agent (B2BUA) is a powerful mechanism for realizing complex SIP applications. The ability to create, terminate, and modify SIP dialogs allows the creation of arbitrarily complex services. However, B2BUAs must be designed with care so as not to disrupt service interoperability. A commonly-stated goal is for B2BUAs to be as transparent as possible while achieving its design goals. Though the notion of transparency is intuitively appealing, it is difficult to define. To address this issue, this paper proposes a definition of transparency and presents a formal model of a transparent B2BUA to serve as the specification of transparency. From this specification, we identify issues with both the realizability and desirability of this behavior, and suggest modifications to the original model. We evaluate the behavior of a number of public B2BUA implementations via testing, using some novel techniques to create test cases based on the formal models.