A declarative approach to the design and realization of graphic interfaces

This paper presents the design and realization of a software Process model Editor for the OIKOS environment. This editor has been realized using GEDBLOG, a multi-theory deductive database management system. GEDBLOG allows applications which heavly rely on graphic user interaction to be developed and enacted according to a declarative definitional style. It supports the consistent design and prototyping of graphic applications through an incremental development and/or by combining pre-defined theories. The case study we present highlights the GEDBLOG system features.