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.

Normative texts

Information extraction

Controlled natural language

Contract analysis

Model checking


John J. Camilleri

Chalmers, Data- och informationsteknik, Formella metoder

Mohammad Reza Haghshenas

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