A web-based tool for analysing normative documents in english
Paper in proceedings, 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.

Normative texts

Information extraction

Controlled natural language

Contract analysis

Model checking


John J. Camilleri

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Mohammad Reza Haghshenas

Gerardo Schneider

University of Gothenburg

Proceedings of the ACM Symposium on Applied Computing

Vol. Part F137816 1865-1872

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

Subject Categories

Language Technology (Computational Linguistics)

Embedded Systems

Computer Systems



More information

Latest update