Semantic correspondence in integrating CASE tool repository schemas

A specification of an information system using a particular computer-aided software engineering (CASE) method describes a particular system aspect. The specification can be represented as a population of a database schema in a repository supporting the CASE tool. Integrating several system aspects requires that their semantic correspondences also be determined. The technique presented uses a database schema language with deductive capability to capture the semantic correspondences. It promises to support multiple CASE tools covering several aspects. Semantic correspondence provides insight into why integrating CASE tools for large-scale enterprise modelling methods is proving difficult.