Computer Science: Rule-Based Notation to Specify Executable Electronic Contracts

摘要

This paper presents a notation to specify executable electronic contracts to monitor compliance and/or enforcement of business-to-business interactions. The notation is rulebased, 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.