On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Decidability Results for the Propositional Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
Restful web services
The frame problem in Web service specifications
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Reconciling situation calculus and fluent calculus
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Requirements for QoS-Based Web Service Description and Discovery
IEEE Transactions on Services Computing
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Semantic Web Service Composition Method Based on Fluent Calculus
SYNASC '09 Proceedings of the 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Applying fluent calculus for automated and dynamic semantic web service composition
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Deriving Specifications for Composite Web Services
COMPSAC '12 Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference
Hi-index | 0.00 |
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.