Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22730
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Schneider, Gerardo | - |
dc.date.accessioned | 2017-10-17T07:53:54Z | - |
dc.date.available | 2017-10-17T07:53:54Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Pace, G. J., & Schneider, G. (2009). Challenges in the specification of full contracts. 7th International Conference on Integrated Formal Methods, IFM 2009, Dusseldorf. 292-306. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/22730 | - |
dc.description | Partially supported by the Nordunet3 project “COSoDIS”. | en_GB |
dc.description.abstract | The complete specification of full contracts - contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved using a combination of temporal and deontic concepts. In this paper we discuss the challenges in combining deontic and other relevant logics, in particular focusing on operators for choice, obligations over sequences, contrary-to-duty obligations, and how internal and external decisions may be incorporated in an action-based language for specifying contracts. We provide different viable interpretations and approaches for the development of such a sound logic and outline challenges for the future. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer-Verlag Berlin Heidelberg | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Deontic logic | en_GB |
dc.subject | Relevance logic | en_GB |
dc.title | Challenges in the specification of full contracts | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. | en_GB |
dc.bibliographicCitation.conferencename | 7th International Conference on Integrated Formal Methods, IFM 2009 | en_GB |
dc.bibliographicCitation.conferenceplace | Dusseldorf, Germany, 16-19/02/2009 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-642-00255-7-20 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Challenges_in_the_Specification_of_Full_Contracts.pdf | 155.86 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.