Toggle Main Menu Toggle Search

Open Access padlockePrints

Run-time monitoring and enforcement of electronic contracts

Lookup NU author(s): Dr Carlos Molina-Jimenez, Emeritus Professor Santosh Shrivastava, Dr Ellis SolaimanORCiD, John Warne



Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguities that the original human-oriented text is likely to contain. The conversion process involves the conversion of the original text into mathematical notation. This paper discusses how standard conventional contracts can be described by means of finite state machines (FSMs). This mathematical description helps eliminate ambiguities from the original text before the contract is coded into a computer program. The paper describes how to map the rights and obligations extracted from the clauses of the contract into the states, transition and output functions, and input and output symbols of a FSM. The FSM representation can be used to guarantee that the clauses stipulated in the contract are observed when the contract is executed. The paper describes the middleware required for the enactment of the contract represented as an FSM. © 2004 Elsevier B.V. All rights reserved.

Publication metadata

Author(s): Molina-Jimenez C, Shrivastava SK, Solaiman EM, Warne JP

Publication type: Article

Publication status: Published

Journal: Electronic Commerce Research and Applications

Year: 2004

Volume: 3

Issue: 2

Pages: 108-125

Print publication date: 01/01/2004

Date deposited: 14/02/2011

ISSN (print): 1567-4223

ISSN (electronic): 1873-7846

Publisher: Elsevier


DOI: 10.1016/j.elerap.2004.02.003


Altmetrics provided by Altmetric