Towards a process for legally compliant software

We propose a method and a process for legal software requirements extraction and compliance checking. We describe a requirements extraction model, a set of rules for specifying the format of the extracted information, a set of UML-based principles for translating the extracted information into a language based on predicate logic, and finally, a tool that analyzes the resulting logic model and displays the results of the analysis. The translation principles are based on a Governance Analysis Model (GAM) which is described in UML; the language is our Governance Analysis Language (GAL) and the tool is our Governance Analysis Tool (GAT). MIT´s logic analyzer Alloy is the engine on which GAT runs. GAL is translated into assertions in Alloy´s language and the Alloy tool can find counterexamples indicating situations of non-compliance.