%0 Conference Proceedings
%F aehss2004
%A Andersen, Jesper
%A Elsborg, Ebbe
%A Henglein, Fritz
%A Simonsen, Jakob Grue
%A Stefansen, Christian
%T Compositional Specification of Commercial Contracts
%B ISoLA (Preliminary proceedings)
%P 103-110
%X We present a declarative language for compositional specification of contracts governing the exchange of resources. It extends Eber and Peyton Jones's declarative language for specifying financial contracts to the exchange of money, goods and services amongst multiple parties and complements McCarthy's Resources/Events/Agents (REA) accounting model with a view-independent formal contract model that supports definition of user-defined contracts, automatic monitoring under execution, and user-definable analysis of their state before, during and after execution. We provide several realistic examples of commercial contracts and their analysis. A variety of (real) contracts can be expressed in such a fashion as to support their integration, management and analysis in an operational environment that registers events
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/andersen2004.pdf
%8 
%D 2004