Contract Observation in Web Services Environments

Electronic contracting, based on explicit representation of different parties' commitments, is a promising way to specifying and regulating behaviour in distributed business applications. A key part of contract-based system is a process through which the actual behaviour of individual parties is checked for conformance with contracts set to govern such behaviour. Such checking requires that relevant information on the behaviour of the parties, both with respect to the application processes they execute and to managing their contractual relationships, is captured. The process of collecting all such information, termed contract observation , is the subject of this paper. First, we describe general properties and requirements of such an observation process; afterwards, we discuss specifics of realising contract observation in web services environments. Finally, we show how contract observation has been implemented as part of the IST-CONTRACT web services framework for contract-based systems.

[1]  Luciano Baresi,et al.  Towards Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[2]  George Spanoudakis,et al.  A framework for requirents monitoring of service based systems , 2004, ICSOC '04.

[3]  Zakaria Maamar,et al.  Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings , 2007, SOCASE.

[4]  Ian Foster,et al.  Monitoring and Discovery in a Web Services Framework: Functionality and Performance of Globus Toolkit MDS4 , 2006 .

[5]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[6]  Lai Xu,et al.  Pro-active Monitoring of Electronic Contracts , 2003, CAiSE.

[7]  Asit Dan,et al.  Web services agreement specification (ws-agreement) , 2004 .

[8]  Albert L. Baker,et al.  Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.

[9]  Michael Luck,et al.  Towards a Monitoring Framework for Agent-Based Contract Systems , 2008, CIA.

[10]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[11]  Matthias Klusch,et al.  Cooperative Information Agents XII, 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings , 2008, CIA.

[12]  Michael Luck,et al.  Towards a Formalisation of Electronic Contracting Environments , 2009, COIN@AAMAS&AAAI.

[13]  Michael Luck,et al.  Case studies for contract-based systems , 2008, AAMAS.

[14]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[15]  J. Cole,et al.  On design and implementation of a contract monitoring facility , 2004, Proceedings. First IEEE International Workshop on Electronic Contracting, 2004..

[16]  Fabio Casati,et al.  Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings , 2005, ICSOC.

[17]  Javier Vázquez-Salceda,et al.  A Middleware Architecture for Building Contract-Aware Agent-Based Services , 2008, SOCASE.

[18]  Dickson K. W. Chiu,et al.  An EREC framework for e-contract modeling, enactment and monitoring , 2004, Data Knowl. Eng..