It is shown that the concepts of requirements and implementation exist in normative systems, in particular
in law, and are similar to homologous concepts in software engineering. Concepts of compliance and
conformance are also similar in the two areas. Further, it is shown how a logic analyzer such as Alloy
can be used in order to verify legal compliance by checking consistency between legal and enterprise
requirements. Examples are taken from privacy law and financial reporting law.