Formal Specification of Web Service Contracts for Automated Contracting and Monitoring

Service-oriented computing as a concept for providing interoperability and flexibility within heterogeneous environments has gained much attention within the last few years. Dynamically integrating external Web services into enterprise applications requires automatic contracting between service requestors and providers and automatic contract monitoring. This paper suggests a semi-automatic approach since in the current legal environment full automation is not feasible. We elaborate on the content of Web service contracts from a legal perspective and derive a set of legal requirements. Based on these requirements we propose an ontology-based representation of contract clauses as well as monitoring information. We can thus automatically evaluate whether a service execution meets the requirements expressed in a contract

[1]  Beat F. Schmid,et al.  Elements of a reference model for electronic markets , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[2]  Benjamin N. Grosof,et al.  SweetDeal : Represen with Exceptions using and Process , 2003 .

[3]  Rudolf Schmid,et al.  Organization for the advancement of structured information standards , 2002 .

[4]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[5]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[6]  Nicola Guarino,et al.  The WonderWeb Library of Foundational Ontologies Preliminary Report , 2002 .

[7]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[8]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[9]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[10]  Aldo Gangemi,et al.  Task taxonomies for knowledge content , 2004 .

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

[12]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[13]  Steffen Staab,et al.  Towards ontologies for formalizing modularization and communication in large software systems , 2006, Appl. Ontology.

[14]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[15]  Hao Wu,et al.  Semantic-enabled Specification for Web Services Agreement , 2005 .

[16]  Fabio Casati,et al.  Automated SLA Monitoring for Web Services , 2002, DSOM.

[17]  Paolo Traverso,et al.  Service-Oriented Computing: a Research Roadmap , 2008, Int. J. Cooperative Inf. Syst..

[18]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[19]  Thomas R. Gruber,et al.  A Translation Approach to Portable Ontologies , 1993 .

[20]  Daniel Oberle,et al.  Approximating service utility from policies and value function patterns , 2005, Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05).

[21]  Paolo Traverso,et al.  05462 Service-Oriented Computing: A Research Roadmap , 2005, Service Oriented Computing.

[22]  William F. Schoell,et al.  Introduction to business: A contemporary view , 1980 .

[23]  Amit P. Sheth,et al.  Web Service Semantics - WSDL-S , 2005 .

[24]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[25]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[26]  Amit P. Sheth,et al.  Semantic WS-agreement partner selection , 2006, WWW '06.

[27]  Raphael Volz,et al.  Visual Modeling of OWL DL Ontologies Using UML , 2004, International Semantic Web Conference.

[28]  H. Sofia Pinto,et al.  Ontologies: How can They be Built? , 2004, Knowledge and Information Systems.