Deriving Specifications for Composite Web Services

George Baryannis; Manuel Carro; Dimitris Plexousakis

doi:10.1109/COMPSAC.2012.64

Deriving Specifications for Composite Web Services

George Baryannis, Manuel Carro, Dimitris Plexousakis

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

2 Citations (Scopus)

Abstract

We address the problem of synthesizing specifications for composite Web services, starting from those of their component services. Unlike related work in programming languages, we assume the definition of the component services (i.e. their code) to be unavailable - at best, they are known by a specification which (safely) approximates their functional behavior. Within this scenario, we deduce general formula schemes to derive specifications for basic constructs such as sequential, parallel compositions and conditionals and provide details on how to handle the special cases of loops and asynchronous execution. The resulting specifications facilitate service verification and service evolution as well as auditing processes, promoting trust between the involved partners.

Original language	English
Title of host publication	2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC)
Publisher	IEEE
Pages	432-437
Number of pages	6
ISBN (Electronic)	9780769547367
ISBN (Print)	9781467319904
DOIs	https://doi.org/10.1109/COMPSAC.2012.64
Publication status	Published - 14 Nov 2012
Externally published	Yes
Event	36th IEEE Annual International Computer Software and Applications Conference - Izmir, Turkey Duration: 16 Jul 2012 → 20 Jul 2012 Conference number: 36

Publication series

Name
ISSN (Print)	0730-3157
ISSN (Electronic)	0730-3157

Conference

Conference	36th IEEE Annual International Computer Software and Applications Conference
Abbreviated title	COMPSAC 2012
Country/Territory	Turkey
City	Izmir
Period	16/07/12 → 20/07/12

Access to Document

10.1109/COMPSAC.2012.64Licence: Unspecified

Cite this

@inproceedings{d51ef303044d4738bc2f6603ba13b78b,

title = "Deriving Specifications for Composite Web Services",

abstract = "We address the problem of synthesizing specifications for composite Web services, starting from those of their component services. Unlike related work in programming languages, we assume the definition of the component services (i.e. their code) to be unavailable - at best, they are known by a specification which (safely) approximates their functional behavior. Within this scenario, we deduce general formula schemes to derive specifications for basic constructs such as sequential, parallel compositions and conditionals and provide details on how to handle the special cases of loops and asynchronous execution. The resulting specifications facilitate service verification and service evolution as well as auditing processes, promoting trust between the involved partners.",

keywords = "Inference of specifications, Service composition, Specification of service compositions",

author = "George Baryannis and Manuel Carro and Dimitris Plexousakis",

year = "2012",

month = nov,

day = "14",

doi = "10.1109/COMPSAC.2012.64",

language = "English",

isbn = "9781467319904",

publisher = "IEEE",

pages = "432--437",

booktitle = "2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC)",

address = "United States",

note = "36th IEEE Annual International Computer Software and Applications Conference, COMPSAC 2012 ; Conference date: 16-07-2012 Through 20-07-2012",

}

TY - GEN

T1 - Deriving Specifications for Composite Web Services

AU - Baryannis, George

AU - Carro, Manuel

AU - Plexousakis, Dimitris

N1 - Conference code: 36

PY - 2012/11/14

Y1 - 2012/11/14

N2 - We address the problem of synthesizing specifications for composite Web services, starting from those of their component services. Unlike related work in programming languages, we assume the definition of the component services (i.e. their code) to be unavailable - at best, they are known by a specification which (safely) approximates their functional behavior. Within this scenario, we deduce general formula schemes to derive specifications for basic constructs such as sequential, parallel compositions and conditionals and provide details on how to handle the special cases of loops and asynchronous execution. The resulting specifications facilitate service verification and service evolution as well as auditing processes, promoting trust between the involved partners.

AB - We address the problem of synthesizing specifications for composite Web services, starting from those of their component services. Unlike related work in programming languages, we assume the definition of the component services (i.e. their code) to be unavailable - at best, they are known by a specification which (safely) approximates their functional behavior. Within this scenario, we deduce general formula schemes to derive specifications for basic constructs such as sequential, parallel compositions and conditionals and provide details on how to handle the special cases of loops and asynchronous execution. The resulting specifications facilitate service verification and service evolution as well as auditing processes, promoting trust between the involved partners.

KW - Inference of specifications

KW - Service composition

KW - Specification of service compositions

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

U2 - 10.1109/COMPSAC.2012.64

DO - 10.1109/COMPSAC.2012.64

M3 - Conference contribution

AN - SCOPUS:84870783998

SN - 9781467319904

SP - 432

EP - 437

BT - 2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC)

PB - IEEE

T2 - 36th IEEE Annual International Computer Software and Applications Conference

Y2 - 16 July 2012 through 20 July 2012

ER -

Deriving Specifications for Composite Web Services

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint