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 OIKOS environment. This editor has been realized using Gedblog, a multitheory deductive database management system. Gedblog allows applications, which heavily rely on graphic User interaction, to be developed and enacted according to a declarative 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 feature