Abstract
Most research on compliance checking is about business processes, focusing on the order and presence
of activities, roles, and temporal properties. However, legislation demands evidence of legal conditions.
An organization is considered to be compliant to a piece of legislation, when it can demonstrate that the
corresponding legal requirements continue to hold for the entire set of cases to which the legislation
applies. In this paper we propose a new perspective: evidence-based compliance engineering. We sketch
how to utilize existing tools for automated theorem proving and natural language understanding, to allow
automated verification of legal objectives based on evidence documents. To demonstrate compliance, the
system maintains an invariant for the set of cases, that involves legislation, legal requirements, cases
and evidence documents. Whenever a change would disrupt this invariant, processes are started to
select and analyse documents, update the cases, update the evidence and run the necessary proofs. The
compliance status is monitored continuously and can be made visible on a dashboard. The applicability
of the approach is illustrated by two examples.
of activities, roles, and temporal properties. However, legislation demands evidence of legal conditions.
An organization is considered to be compliant to a piece of legislation, when it can demonstrate that the
corresponding legal requirements continue to hold for the entire set of cases to which the legislation
applies. In this paper we propose a new perspective: evidence-based compliance engineering. We sketch
how to utilize existing tools for automated theorem proving and natural language understanding, to allow
automated verification of legal objectives based on evidence documents. To demonstrate compliance, the
system maintains an invariant for the set of cases, that involves legislation, legal requirements, cases
and evidence documents. Whenever a change would disrupt this invariant, processes are started to
select and analyse documents, update the cases, update the evidence and run the necessary proofs. The
compliance status is monitored continuously and can be made visible on a dashboard. The applicability
of the approach is illustrated by two examples.
| Original language | English |
|---|---|
| Number of pages | 12 |
| Publication status | Published - 2024 |
| Event | 17th International Workshop on Value Modelling and Business Ontologies - JADS, 's Hertogenbosch, Netherlands Duration: 26 Feb 2024 → 27 Feb 2024 |
Conference
| Conference | 17th International Workshop on Value Modelling and Business Ontologies |
|---|---|
| Abbreviated title | VMBO 2024 |
| Country/Territory | Netherlands |
| City | 's Hertogenbosch |
| Period | 26/02/24 → 27/02/24 |