The frame problem in Web service specifications

Authors:
George Baryannis;Dimitris Plexousakis
Affiliations:
Department of Computer Science University of Crete GR 71409 Heraklion, Greece;Department of Computer Science University of Crete GR 71409 Heraklion, Greece
Venue:
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Year:
2009

Citing 5
Cited 1

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Simulation, verification and automated composition of web services

Proceedings of the 11th international conference on World Wide Web
On the Frame Problem in Procedure Specifications

IEEE Transactions on Software Engineering
Enhanced Specifications for Web Service Composition

ECOWS '06 Proceedings of the European Conference on Web Services
Service-Oriented Computing: State of the Art and Research Challenges

Computer

WSSL: a fluent calculus-based language for web service specifications

CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work explores the frame problem and its effects in devising Web service specifications. The frame problem encompasses the issues raised when trying to concisely state in a specification that nothing changes except when explicitly mentioned otherwise. A motivating example of a composite service specification is presented and a solution approach is proposed, based on knowledge gained from related research on the frame problem in procedure specifications. Finally, an algorithm that applies the presented solution in order to transform existing OWL-S service descriptions to ones that are free from the frame problem is presented.