Algebraic Formal Modelling for HTTP Main Methods using ACP

HTTP is a lightweight application layer protocol being used in communication systems for data exchange. It is widely considered as the turning point for the exponential growth of the internet since its emergence back in the nineties. In this paper, its four most-commonly used methods, namely GET, POST, PUT and DELETE, are being formally modelled by means of Algebra of Communicating Process, that being an abstract algebra, thus making possible to reason just about the communicating processes involved whilst putting aside other development considerations. Therefore, formal specification and verification for the aforesaid methods, being the core of RESTful applications and services, are being performed.