Abstract

In this paper, an approach to specify interactive systems by modeling user actions and domain knowledge is presented. It is shown how Description Logics can be used to formally deduce action concepts at system development time when only incomplete conceptual descriptions of manipulated domain objects are known. We will discuss how types of parameters and values of application functions will be constrained by concepts for user actions which are either automatically derived or interactively selected by the UI designer. 1 INTRODUCTION For a large class of applications, direct-manipulative interfaces with custom visualizations are required, i.e. the interfaces cannot easily be built with standard elements usually supported by interface builders. Though some UIMS allow static domain objects to be interactively drawn using a picture editor, this approach is not feasible when domain objects and their geometric representations are dynamically computed at runtime. To reduce system development ...

Citations