WSSL: A Fluent Calculus-Based Language for Web Service Specifications

George Baryannis, Dimitris Plexousakis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering
Subtitle of host publication25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings
EditorsCamille Salinesi, Moira C. Norrie, Óscar Pastor
PublisherSpringer Heidelberg
Number of pages16
ISBN (Electronic)9783642387098
ISBN (Print)9783642387081
Publication statusPublished - 2013
Externally publishedYes
Event25th International Conference on Advanced Information Systems Engineering - Valencia, Spain
Duration: 17 Jun 201321 Jun 2013
Conference number: 25

Publication series

NameLecture Notes in Computer Science
Volume7908 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference25th International Conference on Advanced Information Systems Engineering
Abbreviated titleCAiSE 2013


Dive into the research topics of 'WSSL: A Fluent Calculus-Based Language for Web Service Specifications'. Together they form a unique fingerprint.

Cite this