Formal Modeling of RESTful Systems Using Finite- State Machines (CROSBI ID 171191)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Žužak, Ivan ; Budiselić, Ivan ; Delač, Goran
engleski
Formal Modeling of RESTful Systems Using Finite- State Machines
REpresentational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the WorldWideWeb (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.
representational state transfer; WorldWideWeb; software architectural styles; formal model; finite-state machines; hypermedia
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
6757/2011
2011.
346-360
objavljeno
0302-9743
10.1007/978-3-642-22233-7_24