A web-based tool for analysing normative documents in english
Paper i proceeding, 2018

Our goal is to use formal methods to analyse normative documents written in English, such as privacy policies and regulations. This requires the combination of a number of different elements, including information extraction from natural language, formal languages for model representation, and an interface for property specification and verification. A number of components for performing these tasks have separately been developed: a natural language extraction tool, a suitable formalism for representing such documents, an interface for building models in this formalism, and methods for answering queries asked of a given model. In this work, each of these concerns is brought together in a web-based tool, providing a single interface for analysing normative texts in English. Through the use of a running example, we describe each component and demonstrate the workflow established by our tool.

Information extraction

Controlled natural language

Contract analysis

Model checking

Normative texts


John J. Camilleri

Göteborgs universitet

Mohammad Reza Haghshenas

Student vid Chalmers

Gerardo Schneider

Göteborgs universitet

Proceedings of the ACM Symposium on Applied Computing

Vol. Part F137816 1865-1872

33rd Annual ACM Symposium on Applied Computing, SAC 2018
Pau, France,


Språkteknologi (språkvetenskaplig databehandling)

Inbäddad systemteknik




Mer information

Senast uppdaterat