Formalizing REST APIs for web-based communication and SIP interworking

Federica Paganelli (), Terence Ambra (), Alessandro Fantechi () and Dino Giuli ()
Additional contact information
Federica Paganelli: Unit at the University of Florence
Terence Ambra: University of Florence
Alessandro Fantechi: University of Florence
Dino Giuli: University of Florence

Telecommunication Systems: Modelling, Analysis, Design and Management, 2017, vol. 66, issue 1, No 6, 75-93

Abstract: 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 and its interworking with SIP User Agents through a tool for the analysis of communicating state machines. Then, we use the model-checking capabilities offered by the tool for the verification of formal properties. Finally, we implement a prototype that, thanks to the previous formalization step, is shown to be functionally correct, while yielding acceptable performance.

Keywords: Web services; Internet of services; REST; Final state models; Call control; SIP (search for similar items in EconPapers)
Date: 2017
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s11235-016-0271-2 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:telsys:v:66:y:2017:i:1:d:10.1007_s11235-016-0271-2

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/11235

DOI: 10.1007/s11235-016-0271-2

Access Statistics for this article

Telecommunication Systems: Modelling, Analysis, Design and Management is currently edited by Muhammad Khan

More articles in Telecommunication Systems: Modelling, Analysis, Design and Management from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().