From Contracts in Structured English to CL Specifications

Seyed M. Montazeri
(University of Gothenburg, Sweden)
Nivir K.S. Roy
(University of Gothenburg, Sweden)
Gerardo Schneider
(Chalmers | University of Gothenburg, Sweden)

In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automatically translated into a formal language using the Grammatical Framework (GF). In particular we use the contract language CL as a target formal language for this translation. In our framework CL specifications could then be input into the tool CLAN to detect the presence of conflicts (whether there are contradictory obligations, permissions, and prohibitions. We also use GF to get a version in (restricted) English of CL formulae. We discuss the implementation of such a framework.

In Ernesto Pimentel and Valentín Valero: Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2011), Málaga, Spain, 22nd and 23rd September 2011, Electronic Proceedings in Theoretical Computer Science 68, pp. 55–69.
Published: 12th September 2011.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: