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

George Baryannis, Dimitris Plexousakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

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
Pages256-270
Number of pages15
ISBN (Electronic)9783319068596
ISBN (Print)9783319068589
DOIs
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
Volume8377
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2013 International Conference on Service-Oriented Computing
Abbreviated titleICSOC 2013
CountryGermany
CityBerlin
Period2/12/135/12/13

Fingerprint 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

    Baryannis, G., & Plexousakis, D. (2014). Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL. In A. R. Lomuscio, S. Nepal, F. Patrizi, B. Benatallah, & I. Brandić (Eds.), Service-Oriented Computing - ICSOC 2013 Workshops (pp. 256-270). (Lecture Notes in Computer Science; Vol. 8377). Springer, Cham. https://doi.org/10.1007/978-3-319-06859-6_23