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

George Baryannis; Dimitris Plexousakis

doi:10.1007/978-3-319-06859-6_23

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

George Baryannis, Dimitris Plexousakis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 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 language	English
Title of host publication	Service-Oriented Computing - ICSOC 2013 Workshops
Editors	Alessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić
Publisher	Springer, Cham
Pages	256-270
Number of pages	15
ISBN (Electronic)	9783319068596
ISBN (Print)	9783319068589
DOIs	https://doi.org/10.1007/978-3-319-06859-6_23
Publication status	Published - 2014
Externally published	Yes
Event	2013 International Conference on Service-Oriented Computing - Berlin, Germany Duration: 2 Dec 2013 → 5 Dec 2013

Publication series

Name	Lecture Notes in Computer Science
Volume	8377
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2013 International Conference on Service-Oriented Computing
Abbreviated title	ICSOC 2013
Country/Territory	Germany
City	Berlin
Period	2/12/13 → 5/12/13

Access to Document

10.1007/978-3-319-06859-6_23Licence: Unspecified

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

@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{\'c}",

booktitle = "Service-Oriented Computing - ICSOC 2013 Workshops",

address = "Switzerland",

note = "2013 International Conference on Service-Oriented Computing, ICSOC 2013 ; Conference date: 02-12-2013 Through 05-12-2013",

}

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, 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 proceeding › Conference contribution › peer-review

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

AN - SCOPUS:84901352522

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

T2 - 2013 International Conference on Service-Oriented Computing

Y2 - 2 December 2013 through 5 December 2013

ER -

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint