Formal Specification of Web Service Contracts for Automated Contracting and Monitoring

Authors:
Steffen Lamparter;Stefan Luckner;Sybille Mutschler
Affiliations:
Institute AIFB Universität Karlsruhe;Institute IISM Universität Karlsruhe;Institute of Information Law Universität Karlsruhe
Venue:
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Year:
2007

Citing 0
Cited 4

E-Marketplace for Semantic Web Services

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Semantic-Aware Service Quality Negotiation

ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
A framework for QoS-based Web service contracting

ACM Transactions on the Web (TWEB)
Modeling and negotiating service quality

Service research challenges and solutions for the future internet

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.