• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Verification of Stateful Services with REST APIs Using Event-B

Irum Rauf, Inna Vistbakka, Elena Troubitsyna, Formal Verification of Stateful Services with REST APIs Using Event-B. In: Bhavani Thuraisingham, Yushun Fan (Eds.), 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018, 131–138, IEEE, 2018.

http://dx.doi.org/10.1109/ICWS.2018.00024

Abstract:

REST APIs are being increasingly used in the industry including their application in safety-critical domain and in the IoT world. They offer basic CRUD (create, retrieve, update and delete) interfaces. However, REST APIs can be used to build services with more advanced scenarios. Developing such services with REST constraints requires rigorous approaches that are capable of creating services that can be trusted for their behavior. In this work, we present an approach based on formal verification technique for a development of REST services using Event-B. We focus on deriving a correct system architecture by refinement and consistency verification of service design models. We illustrate our approach on a Hotel Reservation System.

BibTeX entry:

@INPROCEEDINGS{inpRaViTr18a,
  title = {Formal Verification of Stateful Services with REST APIs Using Event-B},
  booktitle = {2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018},
  author = {Rauf, Irum and Vistbakka, Inna and Troubitsyna, Elena},
  editor = {Thuraisingham, Bhavani and Fan, Yushun},
  publisher = {IEEE},
  pages = {131–138},
  year = {2018},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 1

Edit publication