Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPace, Gordon J.-
dc.contributor.authorSchneider, Gerardo-
dc.identifier.citationPace, 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.descriptionPartially supported by the Nordunet3 project “COSoDIS”.en_GB
dc.description.abstractThe 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.publisherSpringer-Verlag Berlin Heidelbergen_GB
dc.subjectDeontic logicen_GB
dc.subjectRelevance logicen_GB
dc.titleChallenges in the specification of full contractsen_GB
dc.rights.holderThe 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.conferencename7th International Conference on Integrated Formal Methods, IFM 2009en_GB
dc.bibliographicCitation.conferenceplaceDusseldorf, Germany, 16-19/02/2009en_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Challenges_in_the_Specification_of_Full_Contracts.pdf155.86 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.