Paper Info
Title
WSSL: a fluent calculus-based language for web service specifications
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.
Year
DOI
Venue
2013
10.1007/978-3-642-38709-8_17
CA(i)SE
Keywords
Field
DocType
fluent calculus,complete specification,fluent calculus-based language,aforementioned issue,service validation,flux program,flexible representation,web service,novel specification language,current service description effort,web service specification,translates wssl specification
Specification language,Data mining,SAWSDL,WSMO,Programming language,Ramification problem,Systems engineering,Computer science,Fluent calculus,Qualification problem,Web service,Frame problem
Conference
Citations 
PageRank 
References 
4
0.43
16
Authors
2
Name
Order
Citations
PageRank
George Baryannis1446.78
Dimitris Plexousakis22586326.38