Output details
11 - Computer Science and Informatics
Newcastle University
A Model for Checking Contractual Compliance of Business Interactions
<27> The paper is one of the first to examine how to construct a third party service that can determine, just by monitoring business-to-business (B2B) message interactions, whether the interactions are in accordance with the contract in force. A noteworthy feature is that the approach developed works well with well-known industry standards on B2B messaging and provides easy to use notations and techniques for representing contract clauses suited to compliance checking. The work led to the development of practical tools for contract verification and compliance checking (available from homepages.cs.ncl.ac.uk/carlos.molina/home.formal/).