A survey of formal languages for contracts

TY - GEN

T1 - A survey of formal languages for contracts

AU - Hvitved, Tom

N1 - Conference code: 4

PY - 2010

Y1 - 2010

N2 - In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms.

AB - In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms.

M3 - Article in proceedings

SP - 29

EP - 32

BT - Formal Languages and Analysis of Contract-Oriented Software - 4th International Workshop, FLACOS 2010

A2 - Brogi, Antonio

A2 - Bruni, Roberto

A2 - Schneider, Gerardo

T2 - 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software

Y2 - 17 September 2010 through 18 September 2010

ER -