CAiSE’13

Short-bio

George Baryannis is a PhD candidate at the Computer Science Department of the University of Crete and a doctoral research assistant at the Institute of Computer Science of the Foundation for Research and Technology - Hellas. His research interests include: Web services; service description, validation and composition; specification languages; knowledge representation and reasoning; and Cloud computing

Abstract

In order to effectively discover and invoke a Web service, the provider must supply a complete specification of its behavior, with regard to its inputs,
outputs, preconditions and effects. Devising such complete specifications comes with many issues that have not been adequately addressed by current
service description efforts, such as WSDL, SAWSDL, OWL-S and WSMO. These issues involve the frame, ramification and qualification problems, which deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. We propose WSSL, a novel specification language for services, based on the fluent calculus, that is expressly designed to address the aforementioned issues. Also, a tool is implemented that translates WSSL specifications to FLUX programs and allows for service validation based on user-defined goals.