Paper Info
Title
A Formal Analysis Of A Business Contract 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 specification language, called Business Contract Language (BCL), previously developed to express contract conditions 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
2006
10.1142/S0218843006001529
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Keywords
Field
DocType
formal contract language, business contract language
Specification language,Formal system,Computer science,Design by contract,Knowledge management,Object language,Contract management,Formalism (philosophy),Database,Key policy,Underpinning,Process management
Journal
Volume
Issue
ISSN
15
4
0218-8430
Citations 
PageRank 
References 
47
3.01
11
Authors
2
Name
Order
Citations
PageRank
Guido Governatori13530262.96
Zoran Milosevic254854.38