Formal Description of Web User Interfaces for Automatic Generation

Abstract

In this work we present an extension of a paradigm for abstract description of user interfaces using data structures described in the Set Description Language (SDL). An experimental software system for the automatic design and generation of web client interfaces has been developed too, which makes use of the Extended SDL (ESDL). At first, an interface is described at the highest level of abstraction through the data it operates on, and it is generated in a way that enforces data correctness. Generation of interfaces is executed by an expert system on the basis of a set of rules expressed in first order logic. The development of the system relies on AJAX technology, which makes the developing process adaptive and allows the feasibility of dynamic web interfaces.