Verification of conceptual schemata based on hybrid object-oriented and logic paradigm

Contemporary conceptual modelling languages are concerned with the representational adequacy of knowledge about a universe of discourse and with the efficient organization of this knowledge in structures that help overcome the problems of size and complexity in the modelled reality. In the paper it is argued that a conceptual modelling language should also facilitate the verification of captured requirements by exercising the conceptual schemata derived from the use of such a language. A conceptual modelling language is presented that is based on a hybrid representation scheme that makes use of object-oriented and logic approaches, and it is shown how this language can be used to verify requirements during the development of information systems.