Browse by author
Lookup NU author(s): Dr Ellis SolaimanORCiD, Dr Carlos Molina-Jimenez, Emeritus Professor Santosh Shrivastava
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to contain. In order to detect and remove these ambiguities the contract needs to be described in a mathematically precise notation before the description can be subjected to rigorous analysis. This paper identifies and discusses a list of correctness requirements that a typical executable business contract should satisfy. Next the paper shows how relevant parts of standard conventional contracts can be described by means of Finite State Machines (FSMs). Such a description can then be subjected to model checking. The paper demonstrates this using Promela language and the Spin validator.
Author(s): Solaiman E, Molina-Jimenez C, Shrivastava SK
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2003
Pages: 14
Print publication date: 01/07/2003
Source Publication Date: July 2003
Report Number: 811
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/811.pdf
