A logic-based approach for automatic synthesis and maintenance of web sites

  • Authors:
  • João Cavalcanti;Wamberto Vasconcelos

  • Affiliations:
  • University of Edinburgh, Edinburgh, UK;University of Edinburgh, Edinburgh, UK

  • Venue:
  • SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we introduce and justify the use of high-level specifications for synthesising and managing Web sites. Ours is a declarative approach employing computational logic for representing information and knowledge and also for generating the actual site in a format suitable for browsing. Additionally, our specifications contain definitions of logic-based agents that are constructed as part of the synthesis of the Web site specification and can be employed to automate the maintenance of parts of the site.