Making Business Processes Law Compliant

This paper introduces a problem of law compliance that arises during the requirements engineering (RE) phase of software systems. High-level law prescriptions often have a pervasive impact on business processes, the system they have to support, and consequently on the functionalities of the system itself. However, it is not easy to verify that business processes, which are very detailed and domain-dependent, actually comply with abstract, domain-independent legal prescriptions. We propose the use of RE languages combined in a framework to compare these two levels and make conclusions about compliance.