Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27836| Title: | Conflict analysis of deontic contracts |
| Authors: | Fenech, Stephen Pace, Gordon J. Schneider, Gerardo |
| Keywords: | Deontic logic Service-oriented architecture (Computer science) Electronic contracts |
| Issue Date: | 2008 |
| Publisher: | University of Malta. Faculty of ICT |
| Citation: | Fenech, S., Pace, G. J., & Schneider, G. (2008). Conflict analysis of deontic contracts. Workshop in Information and Communication Technology (WICT 2008), Msida. 1-6. |
| Abstract: | Industry is currently pushing towards Service Oriented Architecture where code execution is not limited to the organisational borders but may extend outside of the organisation to which the sources are typically not accessible. In order to protect the interests of the organisation contracts are used which can be seen as a list of obligations, permissions and prohibitions. The composition of different services with different con- tracts, and the combination of service contracts with local contracts can give rise to conflicts, exposing the need for automatic techniques for contract analysis. In this paper we investigate how conflict analysis can be performed automatically for contracts specified in the contract language CL. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/27836 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Conflict_analysis_of_deontic_contracts_2008.pdf | 87.79 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.