Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/23049
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Farmer, William | - |
dc.contributor.author | Hu, Qian | - |
dc.date.accessioned | 2018-06-08T14:22:17Z | - |
dc.date.available | 2018-06-08T14:22:17Z | - |
dc.date.issued | 2018 | - |
dc.identifier.uri | http://hdl.handle.net/11375/23049 | - |
dc.description.abstract | Contracts are legally enforceable agreements between two or more parties. The agreements can contain temporally based conditions, such as actions taken by the contract parties or events that happen, that trigger changes to the state of the contract when the conditions become true. Since the structure of these conditions can be very complex, it can be difficult to write contracts in a natural language in a clear and unambiguous way. A better approach is to have a formal language with a precise semantics to represent contracts. Contracts expressed in such a language have a mathematically precise meaning and can be written, analyzed, and manipulated by software. This thesis presents FCL, a formal language with a precise semantics for writing general contracts that may depend on temporally based conditions. Motivated by carefully selected examples of contracts, we derive a set of desirable requirements that a formal language of contracts should support. Based on the requirements, we clearly de ne the notion of contract and address what it means to fulfill or breach a contract. We present the formal syntax and semantics of FCL. We also successfully formalize different kinds of contracts in FCL and develop a reasoning system for FCL. | en_US |
dc.language.iso | en | en_US |
dc.subject | contracts | en_US |
dc.subject | formal languages | en_US |
dc.subject | simple type theory | en_US |
dc.subject | observables | en_US |
dc.subject | deontic logic | en_US |
dc.subject | conditional agreements | en_US |
dc.subject | temporally based conditions | en_US |
dc.title | FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Doctor of Philosophy (PhD) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Hu_Qian_2018May_PhD.pdf | 689.51 kB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.