Formalizing REST APIs for web-based communication and SIP interworking

Abstract

Significant research efforts for the convergence of Web and Telecommunication services have been recently spent by research and industry stakeholders. The IETF and W3C are cooperating in specifying how web browsers should evolve to natively support communication services. In this perspective, devising novel mechanisms for signaling message exchange and possible interworking between Web-and SIP-based systems is a hot topic of research. Indeed, discussions are still ongoing on how differences between REpresentational State Transfer (REST) and Session Initiation Protocol (SIP) models should be coped with. This issue is made more difficult by the lack of rigorous modeling of RESTful systems. In this paper we propose a rigorous approach for design and implementation of REST communication services (e.g., a call service) which leverages formal verification techniques, while allowing to meet a specific performance requirement (i.e., maximum call setup delay). First, we formalize the call resource behavior through a Finite State Machine representation by modeling and simulating service expected behavior

Design and Implement Video and Chat Application Using Mesh Network

“…As well as, the application's usage of continuous polling has the potential to increase communication overhead. In contrast, But, [18] emphasized that WebRTC has not yet specified signalling management designed to facilitate users to tweak, repurpose current systems, and design their signalling; also, to reduce redundancy and improve flexibility with existent technologies [19]. But, WebRTC uses the WebSocket protocol which is designed for it because it provides a full-duplex, bidirectional line of communication for use that is carried out with a specific web socket and can create scalable, real-time Web services.…”