A set of enterprise requirements is considered compliant with the law if the requirements are legally consistent and compliant with respect to the law.

The figure above shows the proposed methods for consistency and completeness checking. The square boxes represent the methods, which we have partially presented in the previous post: model consistency check, scenario check, ontology check, and coverage check.