Use this URL to cite or link to this record in EThOS:
Title: A computational logic approach for Web site synthesis and management
Author: Cavalcanti, João Marcos Bastos
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 2003
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
This thesis concerns the development of an approach for Web site synthesis. Previous work has demonstrated the feasibility of domain-specific methods for Web site synthesis using computational logic. We are particularly interested in extending this idea, investigating domain-independent methods whilst still being able to produce practical Web site applications. The main contribution of this thesis is to propose a design approach that joins different levels of description to produce Web sites consistent with a corresponding high level description. Our approach is based on a three-level architecture, composed of a high-level specification, intermediate representation and target language. The high-level specification corresponds to the description of a Web site application. We use an entity-relationship model for this purpose and a mapping procedure derives a corresponding intermediate representation automatically. The intermediate representation describes display units, which are sets of pieces of informa­tion, and how to navigate among them. A separate visualisation description relates each piece of information to a particular presentation style and templates to display units. From the intermediate representation and visualisation description a complete Web site is generated automatically. Experiments with HTML/CSS, XML/XSL and WML as target languages have been successfully carried out. The core of our approach is the intermediate representation. An important feature is its independence from any particular implementation, making this approach very flexible. It forms a basis for different kinds of reasoning about the application, including property and constraint checking. It also supports 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. Data-intensive Web sites, such as Web portals and e-commerce sites can all benefit from this development approach as it makes design more methodical and maintenance less time consuming.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available