Formal modeling of RESTful systems using finite-state machines
ICWE'11 Proceedings of the 11th international conference on Web engineering
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering
Hi-index | 0.00 |
Lately, the Internet drastically simplified the dissemination and access to information thus it attracted the interests of many communities. Researchers identified a number of differences between traditional and web applications and considered them as challenges. The heterogeneity of web applications further attracted their interests thus they proposed a new approach called Web Engineering. It is not a perfect clone of software engineering but it borrows many of its concepts and principles emphasizing the same technical activities[8]. In this paper, we propose a new modeling approach that falls within the basket of web engineering design models in general and behavioral models in specific. It models the behavior of web applications using Finite State Machines (FSMs) after extending its constructs to fit our needs. We believe that by modeling web applications with FSMs, it becomes possible to create models that present deterministic responses for unanticipated actions in any condition or situation.