An approach for validating BCL contract specifications
Guido Governatori, Zoran Milošević · 2005
We continue the study, started in [5], on the formal re-lationships 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. 1.