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

Semantic Web Services
Web Service Composition
Semantic Web
Web services
Calculus
Chemical analysis
Qualification
Ramification
Specification languages
Precondition
Specification Languages
Termination
Execution Time
Planning
Framework

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
Baryannis, George ; Plexousakis, Dimitris. / Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL. Service-Oriented Computing - ICSOC 2013 Workshops. editor / Alessio R. Lomuscio ; Surya Nepal ; Fabio Patrizi ; Boualem Benatallah ; Ivona Brandić. Springer, Cham, 2014. pp. 256-270 (Lecture Notes in Computer Science).
@inproceedings{89b642221d3641f3baeb46c3d3122c1c,
title = "Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL",
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.",
keywords = "frame problem, qualification problem, ramification problem, service composition, service specification, service verification",
author = "George Baryannis and Dimitris Plexousakis",
year = "2014",
doi = "10.1007/978-3-319-06859-6_23",
language = "English",
isbn = "9783319068589",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Cham",
pages = "256--270",
editor = "Lomuscio, {Alessio R.} and Surya Nepal and Fabio Patrizi and Boualem Benatallah and Ivona Brandić",
booktitle = "Service-Oriented Computing - ICSOC 2013 Workshops",

}

Baryannis, G & Plexousakis, D 2014, Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL. in AR Lomuscio, S Nepal, F Patrizi, B Benatallah & I Brandić (eds), Service-Oriented Computing - ICSOC 2013 Workshops. Lecture Notes in Computer Science, vol. 8377, Springer, Cham, pp. 256-270, 2013 International Conference on Service-Oriented Computing, Berlin, Germany, 2/12/13. https://doi.org/10.1007/978-3-319-06859-6_23

Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL. / Baryannis, George; Plexousakis, Dimitris.

Service-Oriented Computing - ICSOC 2013 Workshops. ed. / Alessio R. Lomuscio; Surya Nepal; Fabio Patrizi; Boualem Benatallah; Ivona Brandić. Springer, Cham, 2014. p. 256-270 (Lecture Notes in Computer Science; Vol. 8377).

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

TY - GEN

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

AU - Baryannis, George

AU - Plexousakis, Dimitris

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - frame problem

KW - qualification problem

KW - ramification problem

KW - service composition

KW - service specification

KW - service verification

UR - http://www.scopus.com/inward/record.url?scp=84901352522&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-06859-6_23

DO - 10.1007/978-3-319-06859-6_23

M3 - Conference contribution

SN - 9783319068589

T3 - Lecture Notes in Computer Science

SP - 256

EP - 270

BT - Service-Oriented Computing - ICSOC 2013 Workshops

A2 - Lomuscio, Alessio R.

A2 - Nepal, Surya

A2 - Patrizi, Fabio

A2 - Benatallah, Boualem

A2 - Brandić, Ivona

PB - Springer, Cham

ER -

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