Edinburgh Research Explorer

Web Site Synthesis based on Computational Logic

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Original languageEnglish
Pages (from-to)263-287
Number of pages25
JournalInformation Systems Journal
Issue number3
Publication statusPublished - 2003


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.

ID: 3504470