GUPEA >
IT Faculty / IT-fakulteten >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Licentiat theses / Licentiatavhandlingar >

Analysing normative contracts - On the semantic gap between natural and formal languages


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/40725

Files in This Item:

File Description SizeFormat
gupea_2077_40725_1.pdfLic.thesis1169KbAdobe PDF
View/Open
Title: Analysing normative contracts - On the semantic gap between natural and formal languages
Authors: Camilleri, John J.
Issue Date: 2015
Publication type: licentiate thesis
Keywords: contract analysis
controlled natural language
formal methods
timed automata
model checking
Abstract: Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. The length and dense linguistic style of such contracts often makes them diff... more
URI: http://hdl.handle.net/2077/40725
Appears in Collections:Licentiat theses / Licentiatavhandlingar

 

 

© Göteborgs universitet 2011