IDEAS home Printed from https://ideas.repec.org/a/spr/telsys/v66y2017i1d10.1007_s11235-016-0271-2.html
   My bibliography  Save this article

Formalizing REST APIs for web-based communication and SIP interworking

Author

Listed:
  • Federica Paganelli

    (Unit at the University of Florence)

  • Terence Ambra

    (University of Florence)

  • Alessandro Fantechi

    (University of Florence)

  • Dino Giuli

    (University of Florence)

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.

Suggested Citation

  • Federica Paganelli & Terence Ambra & Alessandro Fantechi & Dino Giuli, 2017. "Formalizing REST APIs for web-based communication and SIP interworking," Telecommunication Systems: Modelling, Analysis, Design and Management, Springer, vol. 66(1), pages 75-93, September.
    • Handle: RePEc:spr:telsys:v:66:y:2017:i:1:d:10.1007_s11235-016-0271-2
    DOI: 10.1007/s11235-016-0271-2
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s11235-016-0271-2
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.
    File URL: https://libkey.io/10.1007/s11235-016-0271-2?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Christian Bizer & Tom Heath & Tim Berners-Lee, 2009. "Linked Data - The Story So Far," International Journal on Semantic Web and Information Systems (IJSWIS), IGI Global, vol. 5(3), pages 1-22, July.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Stahl, Florian & Schomm, Fabian & Vossen, Gottfried, 2012. "Marketplaces for data: An initial survey," ERCIS Working Papers 14, University of Münster, European Research Center for Information Systems (ERCIS).
    2. Anett HOPPE & Ana ROXIN & Christophe NICOLLE, 2015. "Ontology-based Integration of Web Navigation for Dynamic User Profiling," Informatica Economica, Academy of Economic Studies - Bucharest, Romania, vol. 19(1), pages 10-24.
    3. Anne E Thessen & Cynthia Sims Parr, 2014. "Knowledge Extraction and Semantic Annotation of Text from the Encyclopedia of Life," PLOS ONE, Public Library of Science, vol. 9(3), pages 1-10, March.
    4. Kurt Sandkuhl & Hans-Georg Fill & Stijn Hoppenbrouwers & John Krogstie & Florian Matthes & Andreas Opdahl & Gerhard Schwabe & Ömer Uludag & Robert Winter, 2018. "From Expert Discipline to Common Practice: A Vision and Research Agenda for Extending the Reach of Enterprise Modeling," Business & Information Systems Engineering: The International Journal of WIRTSCHAFTSINFORMATIK, Springer;Gesellschaft für Informatik e.V. (GI), vol. 60(1), pages 69-80, February.
    5. Phillip Lord & Simon Cockell & Robert Stevens, 2012. "Three Steps to Heaven: Semantic Publishing in a Real World Workflow," Future Internet, MDPI, vol. 4(4), pages 1-12, November.
    6. Marta Sabou & Irem Onder & Adrian M. P. Brasoveanu & Arno Scharl, 2016. "Towards cross-domain data analytics in tourism: a linked data based approach," Information Technology & Tourism, Springer, vol. 16(1), pages 71-101, March.
    7. Wuhui Chen & Incheon Paik, 2013. "Improving efficiency of service discovery using Linked data-based service publication," Information Systems Frontiers, Springer, vol. 15(4), pages 613-625, September.
    8. Tianxing Wu & Guilin Qi & Cheng Li & Meng Wang, 2018. "A Survey of Techniques for Constructing Chinese Knowledge Graphs and Their Applications," Sustainability, MDPI, vol. 10(9), pages 1-26, September.
    9. Nitesh Khilwani & J. A. Harding, 2016. "Managing corporate memory on the semantic web," Journal of Intelligent Manufacturing, Springer, vol. 27(1), pages 101-118, February.
    10. Veale, Michael & Binns, Reuben, 2017. "Fairer machine learning in the real world: Mitigating discrimination without collecting sensitive data," SocArXiv ustxg, Center for Open Science.
    11. Schiavone, Francesco & Paolone, Francesco & Mancini, Daniela, 2019. "Business model innovation for urban smartization," Technological Forecasting and Social Change, Elsevier, vol. 142(C), pages 210-219.
    12. Ghadeer Ashour & Ahmed Al-Dubai & Imed Romdhani & Daniyal Alghazzawi, 2022. "Ontology-Based Linked Data to Support Decision-Making within Universities," Mathematics, MDPI, vol. 10(17), pages 1-21, September.
    13. E. G. Stephan & T. O. Elsethagen & L. K. Berg & M. C. Macduff & P. R. Paulson & W. J. Shaw & C. Sivaraman & W. P. Smith & A. Wynne, 2016. "Semantic catalog of things, services, and data to support a wind data management facility," Information Systems Frontiers, Springer, vol. 18(4), pages 679-691, August.
    14. Hossein Hassani & Xu Huang & Mansi Ghodsi, 2018. "Big Data and Causality," Annals of Data Science, Springer, vol. 5(2), pages 133-156, June.
    15. Muhammad Sajid Qureshi & Ali Daud, 2021. "Fine-grained academic rankings: mapping affiliation of the influential researchers with the top ranked HEIs," Scientometrics, Springer;Akadémiai Kiadó, vol. 126(10), pages 8331-8361, October.
    16. Sean Kennedy & Owen Molloy & Robert Stewart & Paul Jacob & Maria Maleshkova & Frank Doheny, 2012. "A Semantically Automated Protocol Adapter for Mapping SOAP Web Services to RESTful HTTP Format to Enable the Web Infrastructure, Enhance Web Service Interoperability and Ease Web Service Migration," Future Internet, MDPI, vol. 4(2), pages 1-24, April.
    17. Simon French, 2012. "Expert Judgment, Meta-analysis, and Participatory Risk Analysis," Decision Analysis, INFORMS, vol. 9(2), pages 119-127, June.
    18. Costantino Thanos, 2017. "Research Data Reusability: Conceptual Foundations, Barriers and Enabling Technologies," Publications, MDPI, vol. 5(1), pages 1-19, January.
    19. Raymond Y. K. Lau & J. Leon Zhao & Wenping Zhang & Yi Cai & Eric W. T. Ngai, 2015. "Learning Context-Sensitive Domain Ontologies from Folksonomies: A Cognitively Motivated Method," INFORMS Journal on Computing, INFORMS, vol. 27(3), pages 561-578, August.
    20. Muhammad Ahtisham Aslam & Naif Radi Aljohani, 2017. "SPedia: A Central Hub for the Linked Open Data of Scientific Publications," International Journal on Semantic Web and Information Systems (IJSWIS), IGI Global, vol. 13(1), pages 128-147, January.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:telsys:v:66:y:2017:i:1:d:10.1007_s11235-016-0271-2. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.