A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts

Internet, Cloud, and IoT (Internet of Things) based business relationships involve electronic interactions that are normally regulated using Service Level Agreements (SLAs), and contracts that specify the rights, obligations, and prohibitions of the entities involved in the interactions. After a contract has been negotiated and agreed, all parties will need assurances that the service interactions comply with the clauses of the agreements between the parties, and that any violations are detected, prevented, and their causes identified. Because of the dynamic nature of emerging IoT and Cloud based relationships, there is a need for automated support for the monitoring and enforcement of service agreement policies. This paper develops a novel model for representing contract clauses using business rules that is specifically designed for contract compliance checking and enforcement. We identify what events need to be generated and captured from the underlying messaging middleware, and describe key design issues for a state aware contract monitoring and enforcement service.

[1]  Shazia Wasim Sadiq,et al.  Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[2]  Santosh K. Shrivastava,et al.  A high-level model-checking tool for verifying service agreements , 2011, Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE).

[3]  Santosh K. Shrivastava,et al.  Exception Handling in Electronic Contracting , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

[4]  Carlos Ribeiro,et al.  Heimdhal: a history-based policy engine for grids , 2006, Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID'06).

[5]  Ellis Solaiman,et al.  Monitoring Internet of Things Application Ecosystems for Failure , 2016, IT Professional.

[6]  Santosh K. Shrivastava,et al.  A Rule-Based Notation to Specify Executable Electronic Contracts , 2008, RuleML.

[7]  Paul W. P. J. Grefen,et al.  Supporting the Diversity of B2B E-Contracting Processes , 2008, Int. J. Electron. Commer..

[8]  Carole A. Goble,et al.  Why Linked Data is Not Enough for Scientists , 2010, 2010 IEEE Sixth International Conference on e-Science.

[9]  Santosh K. Shrivastava,et al.  Contract representation for run-time monitoring and enforcement , 2003, EEE International Conference on E-Commerce, 2003. CEC 2003..

[10]  Ellis Solaiman,et al.  High Level Model Checker Based Testing of Electronic Contracts , 2015, CLOSER.

[11]  Santosh K. Shrivastava,et al.  Model Checking Correctness Properties of Electronic Contracts , 2003, ICSOC.

[12]  Paul Watson,et al.  CONCURRENCY AND COMPUTATION : PRACTICE AND EXPERIENCE Concurrency Computat , 2013 .

[13]  Santosh K. Shrivastava,et al.  An architecture for negotiation and enforcement of resource usage policies , 2011, 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[14]  Santosh K. Shrivastava,et al.  Run-time monitoring and enforcement of electronic contracts , 2004, Electron. Commer. Res. Appl..

[15]  Heiko Ludwig,et al.  Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts , 2003, WES.

[16]  Tom Hvitved,et al.  A Survey of Formal Languages for Contracts , 2011 .

[17]  Santosh K. Shrivastava,et al.  A Model for Checking Contractual Compliance of Business Interactions , 2012, IEEE Transactions on Services Computing.

[18]  Ellis Solaiman,et al.  A Tool for the Automatic Verification of BPMN Choreographies , 2015, 2015 IEEE International Conference on Services Computing.

[19]  Victoria Ungureanu,et al.  Establishing Business Rules for Inter-Enterprise Electronic Commerce , 2000, DISC.

[20]  Szabolcs Rozsnyai,et al.  Proactive Business Process Compliance Monitoring with Event-Based Systems , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops.