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. 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.
    2. 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.
    3. 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.
    4. 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.
    5. 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.
    6. Hossein Hassani & Xu Huang & Mansi Ghodsi, 2018. "Big Data and Causality," Annals of Data Science, Springer, vol. 5(2), pages 133-156, June.
    7. 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.
    8. Costantino Thanos, 2017. "Research Data Reusability: Conceptual Foundations, Barriers and Enabling Technologies," Publications, MDPI, vol. 5(1), pages 1-19, January.
    9. 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.
    10. 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.
    11. Costantino Thanos, 2016. "A Vision for Open Cyber-Scholarly Infrastructures," Publications, MDPI, vol. 4(2), pages 1-18, May.
    12. Geser, G. & Jaques, Y. & Manouselis, Nikos & Protonotarios, Vassilis & Keizer, J. & Sicilia, M., 2012. "Building Blocks for a Data Infrastructure and Services to Empower Agricultural Research Communities," AGRIS on-line Papers in Economics and Informatics, Czech University of Life Sciences Prague, Faculty of Economics and Management, vol. 4(4), pages 1-8, December.
    13. Heimstädt, Maximilian & Saunderson, Fredric & Heath, Tom, 2014. "Conceptualizing Open Data ecosystems: A timeline analysis of Open Data development in the UK," Discussion Papers 2014/12, Free University Berlin, School of Business & Economics.
    14. Alex Coletti & Antonio De Nicola & Maria Luisa Villani, 2016. "Building climate change into risk assessments," Natural Hazards: Journal of the International Society for the Prevention and Mitigation of Natural Hazards, Springer;International Society for the Prevention and Mitigation of Natural Hazards, vol. 84(2), pages 1307-1325, November.
    15. Heimstädt, Maximilian, 2017. "Openwashing: A decoupling perspective on organizational transparency," Technological Forecasting and Social Change, Elsevier, vol. 125(C), pages 77-86.
    16. 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).
    17. 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.
    18. 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.
    19. 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.
    20. 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.

    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.