Paper Info
Title
Dealing with contract violations: formalism and domain specific language
Abstract
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract speci- fication language. This language, called Business Contract Language (BCL) was previously developed to express contract conditions of relevance for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL.
Year
DOI
Venue
2005
10.1109/EDOC.2005.13
EDOC
Keywords
Field
DocType
key policy concept,key subset,contrary-to-duty obligation,contract violation,contract speci,business contract language,fication language,run time contract monitoring,contract condition,formal underpinning,formal system,domain specific language,formal specification
Specification language,Domain-specific language,Formal system,Software engineering,Systems engineering,Computer security,Computer science,Design by contract,Formal specification,Formalism (philosophy),Contract management,Underpinning
Conference
ISBN
Citations 
PageRank 
0-7695-2441-9
31
2.53
References 
Authors
7
2
Name
Order
Citations
PageRank
Guido Governatori13530262.96
Zoran Milosevic254854.38