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

George Baryannis; Dimitris Plexousakis

doi:10.1007/978-3-642-38709-8_17

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

George Baryannis, Dimitris Plexousakis

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

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

Original language	English
Title of host publication	Advanced Information Systems Engineering
Subtitle of host publication	25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings
Editors	Camille Salinesi, Moira C. Norrie, Óscar Pastor
Publisher	Springer Heidelberg
Pages	256-271
Number of pages	16
ISBN (Electronic)	9783642387098
ISBN (Print)	9783642387081
DOIs	https://doi.org/10.1007/978-3-642-38709-8_17
Publication status	Published - 2013
Externally published	Yes
Event	25th International Conference on Advanced Information Systems Engineering - Valencia, Spain Duration: 17 Jun 2013 → 21 Jun 2013 Conference number: 25

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7908 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	25th International Conference on Advanced Information Systems Engineering
Abbreviated title	CAiSE 2013
Country/Territory	Spain
City	Valencia
Period	17/06/13 → 21/06/13

Access to Document

10.1007/978-3-642-38709-8_17Licence: Unspecified

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",

note = "25th International Conference on Advanced Information Systems Engineering, CAiSE 2013 ; Conference date: 17-06-2013 Through 21-06-2013",

}

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

TY - GEN

T1 - WSSL

T2 - 25th International Conference on Advanced Information Systems Engineering

AU - Baryannis, George

AU - Plexousakis, Dimitris

N1 - Conference code: 25

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

AN - SCOPUS:84879852436

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

Y2 - 17 June 2013 through 21 June 2013

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). doi: 10.1007/978-3-642-38709-8_17

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint