ePrints

A Rule-based Notation to Specify Executable Electronic Contracts

Lookup NU author(s): Dr Massimo Strano, Dr Carlos Molina-Jimenez, Emeritus Professor Santosh Shrivastava

Downloads

• Published version [.pdf]

Abstract

This paper presents a notation to specify executable electronic contracts to monitor compliance and/or enforcement of business-to-business interactions. The notation is rule–based, and at the same time provides the programmer with enough information about how to implement a given functionality (e.g., compliance monitoring) using leading business message/process standards, such as RosettaNet PIPs and ebXML. A notable feature is that the notation takes into account the distributed nature of the underlying computations by paying due attention to timing and message validity constraints as well as the impact of exceptions/failures encountered during business interactions.

Publication metadata

Author(s): Strano M, Molina-Jimenez C, Shrivastava S

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2008

Pages: 18

Print publication date: 01/08/2008

Source Publication Date: August 2008

Report Number: 1115

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/1115.pdf

Share