The frame problem in Web service specifications

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.