Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23054| Title: | Synthesising implicit contracts |
| Authors: | Pace, Gordon J. Schapachnik, Fernando |
| Keywords: | Bill drafting Deontic logic Interactive computer systems Contracts |
| Issue Date: | 2013-11 |
| Publisher: | University of Malta. Faculty of ICT |
| Citation: | Pace, G. J., & Schapachnik, F. (2013). Synthesising implicit contracts. Computer Science Annual Workshop CSAW’13, Msida. 5-7. |
| Abstract: | In regulated interactive systems, one party’s behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overregulate one of the parties. In, we have characterised such implicit contracts and present an algorithmic way of synthesising them using a formalism based on contract automata to regulate interactive action-based systems. In this presentation, we outline the problem and future extensions of the work we are currently exploring. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/23054 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Proceedings of CSAW’13 - A2.pdf | 83 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.