Formal Modeling of RESTful Systems Using Finite-State Machines

  • Ivan Zuzak
  • Ivan Budiselic
  • Goran Delac
Conference paper

DOI: 10.1007/978-3-642-22233-7_24

Volume 6757 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Zuzak I., Budiselic I., Delac G. (2011) Formal Modeling of RESTful Systems Using Finite-State Machines. In: Auer S., Díaz O., Papadopoulos G.A. (eds) Web Engineering. ICWE 2011. Lecture Notes in Computer Science, vol 6757. Springer, Berlin, Heidelberg

Abstract

Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation for its future evolution. However, although described over 10 years ago, no comprehensive formal model for representing RESTful systems exists. The lack of a formal model has hindered understanding of the REST architectural style and the WWW architecture, consequently limiting Web engineering advancement. In this paper we present a model of RESTful systems based on a finite-state machine formalism. We show that the model enables intuitive formalization of many REST’s constraints, including uniform interface, stateless client-server operation, and code-on-demand execution. We describe the model’s mapping to a system-level view of operation and apply the model to an example Web application. Finally, we outline benefits of the model, ranging from better understanding of REST to designing frameworks for RESTful system development.

Keywords

representational state transfer World Wide Web software architectural styles formal model finite-state machines hypermedia 
Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Ivan Zuzak
    • 1
  • Ivan Budiselic
    • 1
  • Goran Delac
    • 1
  1. 1.School of Electrical Engineering and ComputingUniversity of ZagrebZagrebCroatia