Normative requirements for regulatory compliance: An abstract formal framework