A Survey of formalization approaches to service composition

Glaucia M.M. Campos; Nelson S. Rosa; Luis Ferreira Pires

doi:10.1109/SCC.2014.32

A Survey of formalization approaches to service composition

Glaucia M.M. Campos, Nelson S. Rosa, Luis Ferreira Pires

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

10 Citations (Scopus)

5 Downloads (Pure)

Abstract

Service-Oriented Computing (SOC) was introduced some years ago as a paradigm that allows companies to expose their core competencies as services. Yet, we can only benefit from the full potential of SOC if we explore the possibility of composing services. In practice, service composition enables the development of complex systems by combining existing services, which makes it possible to integrate business processes across different companies. Several languages have been defined to specify service compositions, such as WS- BPEL and WS-CDL. However, these languages lack formal semantics, so that they do not allow the verification of the service composition behavior by means of properties such as the absence of deadlocks and livelocks. In this paper, we present a structured survey on initiatives in which formal description techniques were applied to specify and possibly verify service compositions. As a result of this study, we identified some open challenges and some topics for future work.

Original language	Undefined
Title of host publication	IEEE International Conference on Services Computing, SCC 2014
Place of Publication	USA
Publisher	IEEE
Pages	179-186
Number of pages	8
ISBN (Print)	978-1-4799-5065-2
DOIs	https://doi.org/10.1109/SCC.2014.32
Publication status	Published - Jun 2014
Event	IEEE 11th International Conference on Services Computing, SCC 2014 - Anchorage, United States Duration: 27 Jun 2014 → 2 Jul 2014

Publication series

Name
Publisher	IEEE Computer Society

Conference

Conference	IEEE 11th International Conference on Services Computing, SCC 2014
Country/Territory	United States
City	Anchorage
Period	27/06/14 → 2/07/14

Keywords

EWI-25212
SCS-Services
METIS-306083
IR-92341
Behavioral Analysis
Algebra
Petri nets
Automata
Formal Description Techniques
Wiring
Semantics
Service Composition
Service oriented computing
Companies

Access to Document

10.1109/SCC.2014.32

http://eprints.eemcs.utwente.nl/secure2/25212/01/06930532.pdf

Cite this

@inproceedings{d340d8f023834369a44d27dacd97d9fc,

title = "A Survey of formalization approaches to service composition",

abstract = "Service-Oriented Computing (SOC) was introduced some years ago as a paradigm that allows companies to expose their core competencies as services. Yet, we can only benefit from the full potential of SOC if we explore the possibility of composing services. In practice, service composition enables the development of complex systems by combining existing services, which makes it possible to integrate business processes across different companies. Several languages have been defined to specify service compositions, such as WS- BPEL and WS-CDL. However, these languages lack formal semantics, so that they do not allow the verification of the service composition behavior by means of properties such as the absence of deadlocks and livelocks. In this paper, we present a structured survey on initiatives in which formal description techniques were applied to specify and possibly verify service compositions. As a result of this study, we identified some open challenges and some topics for future work.",

keywords = "EWI-25212, SCS-Services, METIS-306083, IR-92341, Behavioral Analysis, Algebra, Petri nets, Automata, Formal Description Techniques, Wiring, Semantics, Service Composition, Service oriented computing, Companies",

author = "Campos, {Glaucia M.M.} and Rosa, {Nelson S.} and {Ferreira Pires}, Luis",

note = "eemcs-eprint-25212 ; IEEE 11th International Conference on Services Computing, SCC 2014 ; Conference date: 27-06-2014 Through 02-07-2014",

year = "2014",

month = jun,

doi = "10.1109/SCC.2014.32",

language = "Undefined",

isbn = "978-1-4799-5065-2",

publisher = "IEEE",

pages = "179--186",

booktitle = "IEEE International Conference on Services Computing, SCC 2014",

address = "United States",

}

TY - GEN

T1 - A Survey of formalization approaches to service composition

AU - Campos, Glaucia M.M.

AU - Rosa, Nelson S.

AU - Ferreira Pires, Luis

N1 - eemcs-eprint-25212

PY - 2014/6

Y1 - 2014/6

N2 - Service-Oriented Computing (SOC) was introduced some years ago as a paradigm that allows companies to expose their core competencies as services. Yet, we can only benefit from the full potential of SOC if we explore the possibility of composing services. In practice, service composition enables the development of complex systems by combining existing services, which makes it possible to integrate business processes across different companies. Several languages have been defined to specify service compositions, such as WS- BPEL and WS-CDL. However, these languages lack formal semantics, so that they do not allow the verification of the service composition behavior by means of properties such as the absence of deadlocks and livelocks. In this paper, we present a structured survey on initiatives in which formal description techniques were applied to specify and possibly verify service compositions. As a result of this study, we identified some open challenges and some topics for future work.

AB - Service-Oriented Computing (SOC) was introduced some years ago as a paradigm that allows companies to expose their core competencies as services. Yet, we can only benefit from the full potential of SOC if we explore the possibility of composing services. In practice, service composition enables the development of complex systems by combining existing services, which makes it possible to integrate business processes across different companies. Several languages have been defined to specify service compositions, such as WS- BPEL and WS-CDL. However, these languages lack formal semantics, so that they do not allow the verification of the service composition behavior by means of properties such as the absence of deadlocks and livelocks. In this paper, we present a structured survey on initiatives in which formal description techniques were applied to specify and possibly verify service compositions. As a result of this study, we identified some open challenges and some topics for future work.

KW - EWI-25212

KW - SCS-Services

KW - METIS-306083

KW - IR-92341

KW - Behavioral Analysis

KW - Algebra

KW - Petri nets

KW - Automata

KW - Formal Description Techniques

KW - Wiring

KW - Semantics

KW - Service Composition

KW - Service oriented computing

KW - Companies

U2 - 10.1109/SCC.2014.32

DO - 10.1109/SCC.2014.32

M3 - Conference contribution

SN - 978-1-4799-5065-2

SP - 179

EP - 186

BT - IEEE International Conference on Services Computing, SCC 2014

PB - IEEE

CY - USA

T2 - IEEE 11th International Conference on Services Computing, SCC 2014

Y2 - 27 June 2014 through 2 July 2014

ER -