A controlled language for the specification of contracts

Authors:
Gordon J. Pace;Michael Rosner
Affiliations:
Dept. Computer Science, University of Malta, Msida, Malta;Dept. Intelligent Computer Systems, University of Malta, Msida, Malta
Venue:
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Year:
2009

Citing 9
Cited 2

Building domain-specific embedded languages

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Building natural language generation systems

Building natural language generation systems
Composing contracts: an adventure in financial engineering (functional pearl)

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Timed regular expressions

Journal of the ACM (JACM)
Modular Domain Specific Languages and Tools

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Attempto Controlled English for Knowledge Representation

Reasoning Web
Challenges in the Specification of Full Contracts

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
A formal language for electronic contracts

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Model checking contracts: a case study

ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis

Controlling ambiguities in legislative language

CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Controlled natural language in a game for legal assistance

CNL'10 Proceedings of the Second international conference on Controlled Natural Language

Quantified Score

Hi-index	0.00

Visualization

Abstract

Controlled natural languages have been used to enable the direct translation from natural language specifications into a formal description. In this paper we make a case for such an approach to write contracts, and translating into a temporal deontic logic. Combining both temporal behaviour and deontic behaviour is challenging both from a natural language and a formal logic perspective. We present both a logic and a controlled natural language and outline how the two can be linked.