Output details
11 - Computer Science and Informatics
Newcastle University
Article title
A Model for Checking Contractual Compliance of Business Interactions
Type
D - Journal article
Title of journal
IEEE Transactions on Services Computing
Article number
-
Volume number
5
Issue number
2
First page of article
276
ISSN of journal
1939-1374
Year of publication
2012
Number of additional authors
2
Additional information
<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/).
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Systems
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
