Modelling and validating office information systems: an object and logic oriented approach

Developing information systems for the office environment of today requires powerful representation formalisms and techniques capable of modelling all office elements. Furthermore, these formalisms should provide appropriate facilities for the validation of a conceptual schema. It is argued that an office modelling approach should provide semantic account for the various aspects of the schema, as well as facilities for simulating its behaviour. A conceptual modelling language is presented that combines the object oriented and logic programming paradigms, and it is demonstrated how this language can be used to validate the conceptual design of an office information system