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 widely considered as the turning point exponential growth of internet since its emergence back nineties. In this paper, four most-commonly methods, namely GET, POST, PUT and DELETE, are formally modelled by means Algebra Communicating Process, that an abstract algebra, thus making possible to reason just about communicating processes involved whilst putting aside other development considerations. Therefore, formal specification verification aforesaid core RESTful applications services, performed.