Formalization and Automated Verification of RESTful Behavior

REST is a software architectural style used for the design of highly scalable web applications. Interest in REST has grown rapidly over the past decade, spurred by the growth of open web APIs. On the other hand, there is also considerable confusion surrounding REST: many examples of supposedly RESTf...

Full description

Saved in:
Bibliographic Details
Published inComputer Aided Verification Vol. 6806; pp. 541 - 556
Main Authors Klein, Uri, Namjoshi, Kedar S.
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2011
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Online AccessGet full text

Cover

More Information
Summary:REST is a software architectural style used for the design of highly scalable web applications. Interest in REST has grown rapidly over the past decade, spurred by the growth of open web APIs. On the other hand, there is also considerable confusion surrounding REST: many examples of supposedly RESTful APIs violate key REST constraints. We show that the constraints of REST and of RESTful HTTP can be precisely formulated within temporal logic. This leads to methods for model checking and run-time verification of RESTful behavior. We formulate several relevant verification questions and analyze their complexity.
ISBN:3642221092
9783642221095
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-22110-1_43