Literature Review: Smart Contract Semantics <s> Business Contract Language <s> This paper presents a coordination model for expressing behaviour in an extended enterprise. Our model is unified because it enables the same style of expressions for describing behaviour/structure in a self-contained enterprise and for describing cross-enterprise behaviour/structure. This model can support a broad range of modelling activities but the specific focus of this paper is on deriving the key elements of a domain language primarily targeted at expressing and monitoring behavioural conditions stated in business contracts. We also show how business contracts serve as a unifying mechanism for describing interactions in the extended enterprise. <s> BIB001 </s> Literature Review: Smart Contract Semantics <s> Business Contract Language <s> In this paper we present a solution to the problem of designing and implementing a contract monitoring facility as part of a larger cross-organisational contract management architecture. We first identify key technical requirements for such a facility and then present our contract language and architecture that address key aspects of the requirements. The language is based on a precise model for the expression of behaviour and policies in the extended enterprise and it can be used to build models for a particular enterprise contract environment. These models can be executed by a contract engine that supports the contract management life cycle at both the contract establishment and contract execution phases. <s> BIB002
Milosevic et al. BIB001 BIB002 propose the Business Contract Language (BCL). The language consists of roles and policies. Policies encapsulate deontic semantics, as well as associated relative temporal and state based ordering, and absolute temporal constraints.