This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Model for Checking Contractual Compliance of Business Interactions
Second 2012 (vol. 5 no. 2)
pp. 276-289
ASCII Text
x 
 
Carlos Molina-Jimenez, Santosh Shrivastava, Massimo Strano, "A Model for Checking Contractual Compliance of Business Interactions," IEEE Transactions on Services Computing, vol. 5, no. 2, pp. 276-289, Second, 2012.
 
 
BibTex
x
 
@article{ 10.1109/TSC.2011.37,
author = {Carlos Molina-Jimenez and Santosh Shrivastava and Massimo Strano},
title = {A Model for Checking Contractual Compliance of Business Interactions},
journal ={IEEE Transactions on Services Computing},
volume = {5},
number = {2},
issn = {1939-1374},
year = {2012},
pages = {276-289},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSC.2011.37},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Services Computing
TI - A Model for Checking Contractual Compliance of Business Interactions
IS - 2
SN - 1939-1374
SP276
EP289
EPD - 276-289
A1 - Carlos Molina-Jimenez,
A1 - Santosh Shrivastava,
A1 - Massimo Strano,
PY - 2012
KW - Electronic contracts
KW - contract monitoring
KW - compliance
KW - B2B messaging
KW - fault tolerance
KW - distributed systems.
VL - 5
JA - IEEE Transactions on Services Computing
ER -
 
Carlos Molina-Jimenez, University of Newcastle Upon Tyne
Santosh Shrivastava, University of Newcastle Upon Tyne
Massimo Strano, University of Newcastle Upon Tyne
The electronic representation of a contract for a business-to-business (B2B) partnership should be such that it can be used by a monitoring service for compliance checking of B2B interactions at runtime, ensuring that the interactions match the rights and obligations that each partner has promised to honor. With this view in mind, the paper develops a model for checking contractual compliance of business interactions. Specifically, the paper develops a novel way of representing contract clauses using business rules, that is specially suited to compliance checking and describes what events need to be captured from the underlying messaging middleware and how they can be processed in a careful manner to evaluate contractual compliance.

[1] RosettaNet, Implementation Framework: Core Specification, Version v02.00.01, http:/www.rosettanet.org, 2002.
[2] OASIS Standard v2.0.4, ebXML Business Process Specification Schema, Technical Specification V2.0.4, OASIS, http://docs.oasis-open.org/ebxml-bp/2.0.4/ OS/specebxmlbp-v2.0.4-Spec-os-en.pdf, 2006.
[3] RosettaNet, Implementation Framework, Version V02.00.01 - High Availability Features - Technical Recommendation, http:/www. rosettanet.org, 2004.
[4] A. Kumar and R. Liu, "A Rule-Based Framework Using Role Patterns for Business Process Compliance," Proc. Int'l Symp. Rule Representation, Interchange and Reasoning on the Web (RuleML '08). pp. 58-72, 2008.
[5] A. Tannebaum, Computer Networks. Prentice Hall, 2003.
[6] C. Molina-Jimenez and S. Shrivastava, "Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors," Proc. Fourth IEEE European Conf. Web Services (ECOWS '06), pp. 148-160, 2006.
[7] C. Molina-Jimenez, S. Shrivastava, and N. Cook, "Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware," Proc. IEEE 11th Int'l Enterprise Computing Conf. (EDOC '07), pp. 51-62, 2007.
[8] N. Cook, P. Robinson, and S. Shrivastava, "Design and Implementation of Web Services Middleware to Support Fair Non-Repudiable Interactions," Int'l J. Cooperative Information Systems, vol. 15, pp. 565-597, 2006.
[9] D. Harel and A. Pnueli, "On the Development of Reactive Systems," Logics and Models of Concurrent Systems, NATO ASI Series, Springer-Verlag, 1985.
[10] C. Molina-Jimenez, S. Shrivastava, and M. Strano, "Exception Handling in Electronic Contracting," Proc. 11th IEEE Conf. Commerce and Enterprise Computing (CEC '09), pp. 65-73, July 2009.
[11] L. Xu and M.A. Jeusfeld, "Pro-Active Monitoring of Electronic Contracts," Proc. 15th Int'l Conf. Advanced Information Systems Eng. (CAiSE '03), pp. 584-600, 2003.
[12] M. Strano, C. Molina-Jimenez, and S. Shrivastava, "A Rule-Based Notation to Specify Executable Electronic Contracts," Proc. Int'l Symp. Rule Representation, Interchange and Reasoning on the Web (RuleML '08), pp. 81-88, 2008.
[13] JBoss, "Drools," http://www.jboss.orgdrools, 2012.
[14] M. Strano, C. Molina-Jimenez, and S. Shrivastava, "Implementing a Rule-Based Contract Compliance Checker," Proc. Ninth IFIP Conf. E-Business, E-Services, and E-Soc. (I3E '09), pp. 96-111, 2009.
[15] N. Minsky and V. Ungureanu, "Law-Governed Interaction: A Coordination and Control Mechanism for Heterogeneous Distributed Systems," ACM Trans. Software Eng. and Methodology, vol. 9, no. 3, pp. 273-305, July 2000.
[16] Z. Milosevic, A. Josang, T. Dimitrakos, and M. Patton, "Discretionary Enforcement of Electronic Contracts," Proc. Sixth IEEE Int'l Enterprise Distributed Object Computing Conf. (EDOC '02), pp. 39-50, 2002.
[17] P. Linington, "Automating Support for E-Business Contracts," Int'l J. Cooperative Information Systems, vol. 14, nos. 2/3, pp. 77-98, June-Sep. 2005.
[18] G. Governatori, "Representing Business Contracts in RuleML," Int'l J. Cooperative Information Systems, vol. 14, pp. 181-216, 2005.
[19] G. Governatori, Z. Milosevic, and S. Sadiq, "Compliance Checking Between Business Processes and Business Contracts," Proc. IEEE 10th Int'l Enterprise Distributed Object Computing Conf. (EDOC '06), pp. 221-232, 2006.
[20] O. Marjanovic and Z. Milosevic, "Towards Formal Modeling of E-Contracts," Proc. Fifth IEEE Int'l Enterprise Distributed Object Computing Conf., pp. 59-68, 2001.
[21] C. Prisacariu and G. Schneider, "A Formal Language for Electronic Contracts," Proc. Ninth IFIP Int'l Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS '07), pp. 174-189, 2007.
[22] M. Sallé, "An Agent-Based Framework for the Automation of Contractual Relationships," Proc. Workshop Agent-Based Technologies for B2B Electronic Commerce (AAAI '02), 2002.
[23] P. Linington, Z. Milosevic, and K. Raymond, "Policies in Communities, Extending the ODP Enterprise Viewpoint," Proc. Second Int'l Enterprise Distributed Object Computing Workshop (EDOC '98), pp. 14-24, 1998.
[24] A. Farrell, M. Sergot, M. Salle, and C. Bartolini, "Using the Event Calculus for the Performance Monitoring of Service-Level Agreements for Utility Computing," Proc. First IEEE Int'l Workshop Electronic Contracting (WEC '04), 2004.
[25] O. Perrin and C. Godart, "An Approach to Implement Contracts as Trusted Intermediaries," Proc. First IEEE Int'l Workshop Electronic Contracting (WEC '04), pp. 71-78, 2004.
[26] H. Ludwig and M. Stolze, "Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts," Proc. Second Int'l Workshop Web Services, E-Business, and the Semantic Web (WES '03), pp. 62-76, 2003,
[27] P. Gama, C. Ribeiro, and P. Ferreira, "Heimdhal: A History-Based Policy Engine for Grids," Proc. Sixth IEEE Int'l Symp. Cluster Computing and the Grid (CCGRID '06), pp. 481-488, 2006.
[28] W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and E. Verbeek, "Conformance Checking of Service Behavior," Trans. Internet Technology, vol. 8, no. 3, pp. 13:1-13:30, May 2008.
[29] S. Angelov and P. Grefen, "Supporting the Diversity of B2B E-Contracting Processes," Int'l J. Electronic Commerce, vol. 12, no. 4, pp. 39-70, 2008.
[30] J. Schiefer, S. Rozsnyai, C. Rauscher, and G. Saurer, "Event-Driven Rules for Sensing and Responding to Business Situations," Proc. Inaugural Int'l Conf. Distributed Event-Based Systems (DEBS '07), pp. 198-205, 2007.
[31] P. Chakravarty and M. Singh, "Incorporating Events Into Cross-oganizational Business Processes," IEEE Internet Computing, vol. 12, no. 2, pp. 46-53, Mar./Apr. 2008.
[32] L. Zeng, H. Lei, J. Jeng, J. Chung, and B. Benatallah, "Policy-Driven Exception-Management for Composite Web Services," Proc. Seventh IEEE Int'l Conf. E-Commerce Technology, pp. 355-363, 2005.
[33] C. Hagen and G. Alonso, "Exception Handling in Workflow Management Systems," IEEE Trans. Software Eng., vol. 26, no. 10, pp. 943-958, Oct. 2000.
[34] P. Radha Krishna, K. Karlapalem, and D. Chiu, "An ER-EC Framework for E-Contract Modeling, Enactment and Monitoring," Data & Knowledge Eng., vol. 51, no. 1, pp. 31-58, 2004.
[35] D.K. Chiu, S. Cheung, and S. Till, "A Three-Layer Architecture for E-Contract Enforcement in an E-Service cenvironment," Proc. 36th Hawaii Int'l Conf. System Sciences (HICSS '03), 2003.
[36] L. Xu, "Monitorable Electronic Contract," Proc. IEEE Conf. E-Commerce (CEC '03). pp. 92-99, 2003.
[37] C. Molina-Jimenez and S. Shrivastava, "Model Checking Correctness Properties of a Middleware Service for Contract Compliance," Proc. Fourth Int'l Workshop Middleware for Service Oriented Computing (MW4SOC '09), pp. 13-18, Nov. 2009.

Index Terms:
Electronic contracts, contract monitoring, compliance, B2B messaging, fault tolerance, distributed systems.
Citation:
Carlos Molina-Jimenez, Santosh Shrivastava, Massimo Strano, "A Model for Checking Contractual Compliance of Business Interactions," IEEE Transactions on Services Computing, vol. 5, no. 2, pp. 276-289, Second 2012, doi:10.1109/TSC.2011.37
Usage of this product signifies your acceptance of the Terms of Use.