Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL

George Baryannis, Dimitris Plexousakis

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

6 Citations (Scopus)


We propose a composition and verification framework for Semantic Web Services specified using WSSL, a novel service specification language based on the fluent calculus, that addresses issues related to the frame, ramification and qualification problems. These deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. The framework exploits the unique features of WSSL, allowing, among others, for: compositions that take into account ramifications of services; determining the feasibility of a composition a priori; and considering exogenous qualifications during the verification process. The framework is implemented using FLUX-based planning, supporting compositions with fundamental control constructs, including nondeterministic ones such as conditionals and loops. Performance is evaluated with regard to termination and execution time for increasingly complex synthetic compositions.

Original languageEnglish
Title of host publicationService-Oriented Computing - ICSOC 2013 Workshops
EditorsAlessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić
PublisherSpringer, Cham
Number of pages15
ISBN (Electronic)9783319068596
ISBN (Print)9783319068589
Publication statusPublished - 2014
Externally publishedYes
Event2013 International Conference on Service-Oriented Computing - Berlin, Germany
Duration: 2 Dec 20135 Dec 2013

Publication series

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


Conference2013 International Conference on Service-Oriented Computing
Abbreviated titleICSOC 2013


Dive into the research topics of 'Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL'. Together they form a unique fingerprint.

Cite this