Jump to : Download | Abstract | See also | Contact | BibTex reference | EndNote reference |


Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen. Compositional Specification of Commercial Contracts. In ISoLA (Preliminary proceedings), Pages 103-110, 2004.


Download paper: Adobe portable document (pdf) pdf

Copyright notice:This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


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

See also

[ isola2004 ]


Jesper Andersen
Ebbe Elsborg
Fritz Henglein
Jakob Grue Simonsen
Christian Stefansen

BibTex Reference

   Author = {Andersen, Jesper and Elsborg, Ebbe and Henglein, Fritz and Simonsen, Jakob Grue and Stefansen, Christian},
   Title = {Compositional Specification of Commercial Contracts},
   BookTitle = {ISoLA (Preliminary proceedings)},
   Pages = {103--110},
   Month = {},
   Year = {2004}

EndNote Reference [help]

Get EndNote Reference (.ref)