Sciweavers

Share
REST
2010
ACM

A formal definition of RESTful semantic web services

9 years 29 days ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operational semantics. RESTful semantic resources are described using the concept of tuple spaces being manipulated by HTTP methods that are related to classical tuple space operations. On the other hand, RESTful resources creation, destruction and other dynamic aspects of distributed HTTP computations involving coordination between HTTP agents and services are modeled using process calculus style named channels and message passing mechanisms. The resulting model allows for a complete and rigorous description of resource based web systems, where agents taking part in a computation publish data encoded according to semantic standards through public triple repositories identified by well known URIs. The model can be used to describe complex interaction scenarios where coordination and composition of resources are requ...
Antonio Garrote Hernández, María N.
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2010
Where REST
Authors Antonio Garrote Hernández, María N. Moreno García
Comments (0)
books