Web site synthesis based on computational logic

  • Authors:
  • João M. B. Cavalcanti;David Robertson

  • Affiliations:
  • Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Edinburgh, UK;Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Edinburgh, UK

  • Venue:
  • Knowledge and Information Systems
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Web site design and maintenance has become a challenging problem due to the increase in volume and complexity of information presented in this way. Much attention has been given to the deployment of Web sites but little thought has been given to methods for their design and maintenance. Web site applications can also benefit from systematic approaches to development that make design more methodical and maintenance less time consuming. One way to tackle this problem is via automated synthesis, automatically deriving a Web site from a high-level application description. Computational logic is well suited to this problem because of its support of a uniform view of data and computation, allowing reasoning with both specification and program via meta-programming.