Software Requirement Definition And Data Models

It is argued that the conceptual schema should contain an ontological subschema. (i.e. a "reality" model). It is.shown how one particular ontological meta-model can be interfaced to meta-models for the development of software requirement specifications. Through an example it is indicated how the onto-logical model can provide a basis for proving semantical equivalence/difference of databases.