Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Verification of Stateful Services with REST APIs Using Event-B
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.
2018 (English)In: Proceedings - 2018 IEEE International Conference on Web Services, ICWS 2018 - Part of the 2018 IEEE World Congress on Services, Institute of Electrical and Electronics Engineers Inc. , 2018, p. 131-138Conference paper, Published paper (Refereed)
Abstract [en]

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. 

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2018. p. 131-138
Keywords [en]
Event B, Formal modelling, REST services, Verification, Accident prevention, Application programming interfaces (API), Formal verification, Reservation systems, Websites, Consistency verifications, Create, retrieve, update and delete, Event-B, Safety-critical domain, System architectures, Verification techniques, Web services
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:kth:diva-236700DOI: 10.1109/ICWS.2018.00024ISI: 000483573800017Scopus ID: 2-s2.0-85054012623ISBN: 9781538672471 (print)OAI: oai:DiVA.org:kth-236700DiVA, id: diva2:1262449
Conference
25th IEEE International Conference on Web Services, ICWS 2018, 2 July 2018 through 7 July 2018
Note

Conference code: 139362; Export Date: 22 October 2018; Conference Paper. QC 20181112

Available from: 2018-11-12 Created: 2018-11-12 Last updated: 2019-09-26Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Troubitsyna, Elena

Search in DiVA

By author/editor
Troubitsyna, Elena
By organisation
Theoretical Computer Science, TCS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 89 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf