MODERES Java is an environment for the development of management information models. In its first release, it provides tools for the manipulation of information models specified using GDMO and GRM. This report presents one component of the environment, i.e. the GDMO/GRM modules semantic checker. The report contains a detailled description of performed verifications as well as a complete implementation and usage guide for the semantic checker as implemented within the environment
