Challenges in the Specification of Full Contracts

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.

• Type: Journal
• Year: 2009
• Where: IFM
• Authors: Gordon J. Pace, Gerardo Schneider
• Keywords: Complete Specification, Contracts, Deontic Concepts, Formal Methods, IFM 2009