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

George Baryannis, Dimitris Plexousakis

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

4 Citations (Scopus)

Abstract

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.

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
Pages256-271
Number of pages16
ISBN (Electronic)9783642387098
ISBN (Print)9783642387081
DOIs
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
PublisherSpringer
Volume7908 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference25th International Conference on Advanced Information Systems Engineering
Abbreviated titleCAiSE 2013
CountrySpain
CityValencia
Period17/06/1321/06/13

Fingerprint

Web services
Web Services
Calculus
Precondition
Specification
Specifications
OWL-S
WSDL
Specification languages
Qualification
Specification Languages
Ramification
Output
Language

Cite this

Baryannis, G., & Plexousakis, D. (2013). WSSL: A Fluent Calculus-Based Language for Web Service Specifications. In C. Salinesi, M. C. Norrie, & Ó. Pastor (Eds.), Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings (pp. 256-271). (Lecture Notes in Computer Science; Vol. 7908 LNCS). Springer Heidelberg. https://doi.org/10.1007/978-3-642-38709-8_17
Baryannis, George ; Plexousakis, Dimitris. / WSSL : A Fluent Calculus-Based Language for Web Service Specifications. Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. editor / Camille Salinesi ; Moira C. Norrie ; Óscar Pastor. Springer Heidelberg, 2013. pp. 256-271 (Lecture Notes in Computer Science).
@inproceedings{26ae1f746c2d41c3af8c874ac796c89e,
title = "WSSL: A Fluent Calculus-Based Language for Web Service Specifications",
abstract = "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.",
keywords = "frame problem, qualification problem, ramification problem, service specification, service validation",
author = "George Baryannis and Dimitris Plexousakis",
year = "2013",
doi = "10.1007/978-3-642-38709-8_17",
language = "English",
isbn = "9783642387081",
series = "Lecture Notes in Computer Science",
publisher = "Springer Heidelberg",
pages = "256--271",
editor = "Camille Salinesi and Norrie, {Moira C.} and {\'O}scar Pastor",
booktitle = "Advanced Information Systems Engineering",
address = "Germany",

}

Baryannis, G & Plexousakis, D 2013, WSSL: A Fluent Calculus-Based Language for Web Service Specifications. in C Salinesi, MC Norrie & Ó Pastor (eds), Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. Lecture Notes in Computer Science, vol. 7908 LNCS, Springer Heidelberg, pp. 256-271, 25th International Conference on Advanced Information Systems Engineering, Valencia, Spain, 17/06/13. https://doi.org/10.1007/978-3-642-38709-8_17

WSSL : A Fluent Calculus-Based Language for Web Service Specifications. / Baryannis, George; Plexousakis, Dimitris.

Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. ed. / Camille Salinesi; Moira C. Norrie; Óscar Pastor. Springer Heidelberg, 2013. p. 256-271 (Lecture Notes in Computer Science; Vol. 7908 LNCS).

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

TY - GEN

T1 - WSSL

T2 - A Fluent Calculus-Based Language for Web Service Specifications

AU - Baryannis, George

AU - Plexousakis, Dimitris

PY - 2013

Y1 - 2013

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

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

KW - frame problem

KW - qualification problem

KW - ramification problem

KW - service specification

KW - service validation

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

U2 - 10.1007/978-3-642-38709-8_17

DO - 10.1007/978-3-642-38709-8_17

M3 - Conference contribution

SN - 9783642387081

T3 - Lecture Notes in Computer Science

SP - 256

EP - 271

BT - Advanced Information Systems Engineering

A2 - Salinesi, Camille

A2 - Norrie, Moira C.

A2 - Pastor, Óscar

PB - Springer Heidelberg

ER -

Baryannis G, Plexousakis D. WSSL: A Fluent Calculus-Based Language for Web Service Specifications. In Salinesi C, Norrie MC, Pastor Ó, editors, Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. Springer Heidelberg. 2013. p. 256-271. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-38709-8_17