The vision of the Business Processes and Legal Informatics team is to study conceptually sound and computationally feasible advanced formal models of Business Processes and legal reasoning with the aim of improving the access to justice, speed up and reduce the cost of legal proceedings, and increase the productivity by reducing the burden of complying with governing norms (where the term “norms” is intended in a very broad sense, ranging from policies and guidelines to regulations and statutory acts).

The proposed model should be conceptually sound in the sense that it must provide concepts and features as close as possible the notions available in the application domain (legal and normative domain specifically).

Our research aims

  • to investigate extensions of the model to improve its capabilities to correctly represent norms
  • to test the novel capabilities with practical applications (e.g., extensions and optimisation of the process compliance capabilities, smart contracts deployed in a blockchain framework, confidential compliance. . . )
  • to study the automated generation of compliant-by-design processes starting from declarative specifications of organisational capabilities and regulations
  • to improve the semi-automated acquisition of formal models of norms from natural language documents including the textual provisions.