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 8476

Author Governatori, Guido
Milosevic, Zoran
Title A Formal Analysis of a Business Contract Language
Journal name International Journal of Cooperative Information Systems   Check publisher's open access policy
ISSN 0218-8430
Publication date 2006-12
Sub-type Article (original research)
DOI 10.1142/S0218843006001529
Volume 15
Issue 4
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 20 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 34 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 784 Abstract Views, 8486 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