The concept of expressing regulatory requirements in formal, computer-executable languages rather than natural language, enabling automated compliance testing.