Formalization of a Web API architecture style, inspired from REST