Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/22730
Title: Challenges in the specification of full contracts
Authors: Pace, Gordon J.
Schneider, Gerardo
Keywords: Deontic logic
Relevance logic
Issue Date: 2009
Publisher: Springer-Verlag Berlin Heidelberg
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.
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.
Description: Partially supported by the Nordunet3 project “COSoDIS”.
URI: https://www.um.edu.mt/library/oar//handle/123456789/22730
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.