• No results found

IT Faculty

N/A
N/A
Info
Download
Protected

Academic year: 2021

Share "IT Faculty"

Copied!
1
0
0

Loading.... (view fulltext now)

Download now ( 1 Page )

Full text

(1)

Contracts and Computation

Formal modelling and analysis for normative natural language

John J. Camilleri

Ph.D. thesis

Department of Computer Science and Engineering

University of Gothenburg, Sweden 2017

John J

. Camilleri

Every service, app and social network we use today comes with some conditions attached. They appear in the form of software licenses, privacy policies, and terms of service documents. Normative texts like these are essentially contracts, defi-ning what you and the service provider can and cannot do. They are often long and hard to understand, and most people agree to these legal documents without ever reading them.

In order to know what we are agreeing to, we need tools that can cut through the jargon and quickly answer our queries about a given contract. Using formal methods opens up a wide range of powerful analysis techniques, which guaran-tee correct responses while avoiding the need for a document to be read through manually. The trick, however, is making these techniques available to users who have no understanding of them.

This thesis studies various aspects of computational contract analysis, from formal modelling to simulation and verification, together with how these technologies can be packaged for end users, using natural language processing, controlled natural languages and visual representations. In bringing these components to-gether, our goal is to make analysing contracts accessible for all.

John J. Camilleri

Department of Computer Science and Engineering

Division of Formal Methods

2017

IT Faculty

ISBN 978-91-982237-4-3

Con tr ac ts and C omputa tion For

mal modelling and analy

References

Download now ( PDF - 1 Page - 1.38 MB )

Related documents

Various Aspects of Moving with Musculoskeletal Pain Kinesiophobia

An exaggerated fear of movement (kinesiophobia) was frequently reported by patients who sought care for persistent musculoskeletal pain (Study I-III).. Fear of movement is

It is important for these aspects to be acknowledged for one to gain a full appreciation of the complexities of Plus Minus

This self-reflexive quality of the negative band material that at first erases Stockhausen’s presence then gradually my own, lifts Plus Minus above those ‘open scores’

Synthesis of Oligosaccharides for Interaction Studies with Various Lectins

4,10 As discussed above, a classical chemical glycosidation reaction is realized by activation of a fully protected glycosyl donor in the presence of a suitably protected

From these antibodies, some of the specific antibodies can be further validated through siRNA transfection

The Stathmin 1 (STMN1) siRNA was transfected in Human urinary bladder carcinoma cell line (T24) cell lines and the transfection was verified by western blot.. In the future, the

How to piece together

Continuing the cookbook metaphor, imagine that we're now interested in finding a specific book within a swimming pool filled with books, and we are still only able to read a

From Do It Yourself to Do It Together

The collective outputs that Stockholm Makerspace community seeks to create are: (1) to sustain the non-for-profit organization through active communal involvement into care

Contracts and Computation Formal modelling and analysis for normative natural language

This thesis includes six research papers by the author which cover the var- ious aspects of this approach: entity recognition and modality extraction from natural language,

Formal Verification of Skiplist Algorithms

The computation of the assertions is slightly more involved, we use local variables of both current and interfering threads, therefore the assertions at each program point in