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

Författare

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,

Ämneskategorier

Språkteknologi (språkvetenskaplig databehandling)

Inbäddad systemteknik

Datorsystem

DOI

10.1145/3167132.3167331

Mer information

Senast uppdaterat

2018-12-20