Verifying Web Site Properties Using Computational Logic

J. Cavalcanti, D. Robertson

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract / Description of output

The continuing increase in size and complexity of Web sites has turned their design and construction into a challenging problem. Systematic approaches can bring many benefits to Web site construction, making development more methodical and maintenance less time consuming. Computational logic can be successfully used to tackle this problem, as it supports declarative specifications and reasoning about specifications in a more natural way. Computational logic also offers metaprogramming capabilities that can be used to develop methods for automated Web site synthesis. This chapter presents an approach to Web site synthesis based on computational logic and discusses in more detail two important features of the proposed approach: the support for property checking and integrity constraint specification and verification.
Original languageEnglish
Title of host publicationInformation Modelling for Internet Applications
EditorsP. van Bommel
PublisherIdea Group Publishing
Number of pages18
ISBN (Print)1-59140-050-3
Publication statusPublished - 2002


Dive into the research topics of 'Verifying Web Site Properties Using Computational Logic'. Together they form a unique fingerprint.

Cite this