Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Principled design of the modern Web architecture
ACM Transactions on Internet Technology (TOIT)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Composing style-based software architectures from architectural primitives
Composing style-based software architectures from architectural primitives
FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Composing RESTful Services and Collaborative Workflows: A Lightweight Approach
IEEE Internet Computing
RESTful Web Services Development Checklist
IEEE Internet Computing
Web Services and Formal Methods
RESTful Web service composition with BPEL for REST
Data & Knowledge Engineering
Modelling methods for web application verification and testing: state of the art
Software Testing, Verification & Reliability
The role of hypermedia in distributed system development
Proceedings of the First International Workshop on RESTful Design
Towards a practical model to facilitate reasoning about REST extensions and reuse
Proceedings of the First International Workshop on RESTful Design
A formal definition of RESTful semantic web services
Proceedings of the First International Workshop on RESTful Design
Hypermedia-driven RESTful service composition
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering
| Hi-index | 0.00 |
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.