A Formal Analysis of a Business Contract Language

Governatori, Guido and Milosevic, Zoran (2006) A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems, 15 4: 659-685.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
GovMil.pdf GovMil.pdf application/pdf 286.15KB 7776

Author Governatori, Guido
Milosevic, Zoran
Title A Formal Analysis of a Business Contract Language
Journal name International Journal of Cooperative Information Systems  (ERA 2012 Listed)    (ERA 2010 Rank C)   Check publisher's open access policy
Publication date 2006-12
Sub-type Article
DOI 10.1142/S0218843006001529
Volume number 15
Issue number 4
ISSN 0218-8430
Start page 659
End page 685
Total pages 27
Editor G. Schlageter
Place of publication Singapore
Publisher World Scientific Publishers
Collection year 2006
Language eng
Subject 280112 Information Systems Development Methodologies
280111 Conceptual Modelling
280100 Information Systems
350213 Electronic Commerce
C1
780100 Non-oriented Research
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.
Keyword formal contract language
business contract language
Computer Science, Information Systems
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Originally published as Governatori, Guido and Milosevic, Zoran (2006) A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems 15. Copyright 2006 World Scientific Publishing Company. All rights reserved. Single copies only may be downloaded and printed for a user's personal research and study.

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 19 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 30 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 700 Abstract Views, 7786 File Downloads  -  Detailed Statistics
Created: Tue, 16 May 2006, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering