A LOGIC PROGRAMMING MODEL FOR WEB RESOURCES

Giulio Piancastelli, Andrea Omicini

2008

Abstract

In the latest years, substantial achievements have been obtained in the description and formalization of the architectural principles and design criteria underlying the World Wide Web. First, the Representational State Transfer (REST) architectural style for distributed hypermedia systems was introduced, defining the resource as the key abstraction of information; then, the Resource-Oriented Architecture (ROA) was presented as a REST-based set of guidelines and best practices for implementing services on Web resources. However, a resource programming model is still missing, since procedural and object-oriented web programming focussed on different abstractions, such as page, controller, and service. Instead, we adopt the logic declarative paradigm to define our model for resource-oriented programming, also showing how its peculiar features lead to novel possibilities for dynamic modification and extension of resource behavior at runtime. In this paper, we first map novel REST and ROA abstractions onto elements of structured logic programming. Then, we present Web Logic Programming as a Prolog-based language for the World Wide Web embedding the core REST and ROA principles, by defining its computation model and discussing a bookshelf sharing web application example.

Paper Citation

in Harvard Style

Piancastelli G. and Omicini A. (2008). A LOGIC PROGRAMMING MODEL FOR WEB RESOURCES . In Proceedings of the Fourth International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8111-26-5, pages 158-164. DOI: 10.5220/0001524501580164

in Bibtex Style

@conference{webist08,
author={Giulio Piancastelli and Andrea Omicini},
title={A LOGIC PROGRAMMING MODEL FOR WEB RESOURCES},
booktitle={Proceedings of the Fourth International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2008},
pages={158-164},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001524501580164},
isbn={978-989-8111-26-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - A LOGIC PROGRAMMING MODEL FOR WEB RESOURCES
SN - 978-989-8111-26-5
AU - Piancastelli G.
AU - Omicini A.
PY - 2008
SP - 158
EP - 164
DO - 10.5220/0001524501580164