An approach for validating BCL contract specifications

Governatori, Guido and Milosevic, Zoran (2005). An approach for validating BCL contract specifications. In: Claudio Bartolini, Guido Governatori and Zoran Milosevic, The 9th International IEEE Enterprise Distributed Object Computing Conference, Enschede, Netherlands, (1-10). 19-23 September 2005.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
coala2005.pdf coala2005.pdf application/pdf 171.66KB 1053
Author Governatori, Guido
Milosevic, Zoran
Title of paper An approach for validating BCL contract specifications
Conference name The 9th International IEEE Enterprise Distributed Object Computing Conference
Conference location Enschede, Netherlands
Conference dates 19-23 September 2005
Place of Publication Los Alamitos, CA, United States
Publisher IEEE
Publication Year 2005
Sub-type Fully published paper
ISBN 9780769524412
Editor Claudio Bartolini
Guido Governatori
Zoran Milosevic
Start page 1
End page 10
Total pages 10
Language eng
Abstract/Summary We continue the study, started in [5], on the formal relationships between a domain specific contract language (BCL) and the logic of violation (FCL) proposed in [6,7]. We discuss the use of logical methods for the representation and analysis of business contracts. The proposed analysis is based on the notions of normal and canonical forms of contracts expressed in FCL. Finally we present a mapping from FCL to BCL that can be used to provide an executable model of a formal representation of a contract.
Subjects 280199 Information Systems not elsewhere classified
280403 Logics and Meanings of Programs
350213 Electronic Commerce
280213 Other Artificial Intelligence
Keyword Defeasible logic
Logic of violation e-contract contract deontic logic
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Paper presented during the Workshop on Contract Architectures and Languages (CoALa2005), 20 September 2005.

Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 22 Aug 2005, 10:00:00 EST by Guido Governatori on behalf of Faculty Of Engineering, Architecture & Info Tech