A CNL for Contract-Oriented Diagrams
Computation and Language
2014-06-24 v1 Formal Languages and Automata Theory
Abstract
We present a first step towards a framework for defining and manipulating normative documents or contracts described as Contract-Oriented (C-O) Diagrams. These diagrams provide a visual representation for such texts, giving the possibility to express a signatory's obligations, permissions and prohibitions, with or without timing constraints, as well as the penalties resulting from the non-fulfilment of a contract. This work presents a CNL for verbalising C-O Diagrams, a web-based tool allowing editing in this CNL, and another for visualising and manipulating the diagrams interactively. We then show how these proof-of-concept tools can be used by applying them to a small example.
Cite
@article{arxiv.1406.5691,
title = {A CNL for Contract-Oriented Diagrams},
author = {John J. Camilleri and Gabriele Paganelli and Gerardo Schneider},
journal= {arXiv preprint arXiv:1406.5691},
year = {2014}
}