Naslov
A Finite-State Machine Approach for Modeling and Analyzing RESTful Systems

Autori
Žužak, Ivan ; Budiselić, Ivan ; Delač, Goran

Izvornik
Journal of web engineering (1540-9589) 10 (2011), 4; 353-390

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
representational state transfer; World Wide Web; software architectural styles; formal model; finite-state machines; hypermedia

Sažetak
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web and is the foundation for its future evolution. However, although described over 10 years ago, no formal model for representing RESTful systems exists that is comprehensive in following REST principles, intuitive to Web engineers and researchers alike, and offers practical development guidelines. The lack of such formal models has hindered understanding of both the REST architectural style and the Web architecture, consequently limiting Web engineering advancement. In this paper we present a generic model of RESTful systems based on a finite-state machine formalism. We show that the model enables intuitive formalization of REST design principles, including uniform interface, stateless client- server operation, and code-on- demand execution. Furthermore, we describe the model’s mapping to a system-level view of operation and apply the model to an example Web application and several real-word Web applications. Finally, we explore the practical challenges and benefits of using the model in the field of Web engineering, ranging from better understanding of REST to designing frameworks for RESTful system development.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA