Approaches for the service composition and description towards the Web-Telecom convergence

In this PhD thesis I discuss how I applied a REST-oriented methodology to design a set of REST APIs for communication services (e.g. a voice call and presence service). The contribution of this work is threefold. Firstly, I formalize the call resource behavior through a Finite State Machine representation which accounts for the SIP specifications and for REST constraints. Secondly, I simulate the service expected behavior and its interworking with SIP User Agents through a tool for the analysis of communicating state machines. Thirdly, I present the implementation details of a web application prototype and evaluate its functional correctness and performance. This prototype supports three mechanisms for handling asynchronous notications (i.e., WebSocket, Long Polling and HTTP Streaming).