Declarative Web services composition using proofs

Sana Baccar, Mohsen Rouached, Ruben Verborgh, Mohamed Abid

Research output: Contribution to journalArticle

Abstract

Over the last decade, Web services composition has become a thriving area of research and development endeavors for application integration and interoperability. Although Web services composition has been heavily investigated, several issues still need to be addressed. In this paper, we mainly discuss two major bottlenecks in the current process of modeling compositions. The first bottleneck is related to the level of expertise required to achieve a composition process. Typical procedural style of modeling, inspired by workflow/business process paradigm, do not provide the required abstractions. Therefore, they fail to support dynamic and self-managed compositions able to adapt to unpredictable changes. The second bottleneck in current service compositions concerns their life cycle and their management, also called their governance. In this context, we propose a declarative proof-based approach to Web service composition. Based on the three stages of pre-composition, abstraction, and composition, our solution provides an easy way to specify functional and non-functional requirements of composite services in a precise and declarative manner. It guides the user through the composition process while allowing detection and recovery of violations at both design and run-time using proofs and planning. Experiment results clearly show the added value of the proof-based solution as a viable strategy to improve the composition process.

Original languageEnglish
Pages (from-to)1-19
Number of pages19
JournalService Oriented Computing and Applications
DOIs
Publication statusAccepted/In press - Mar 29 2018

Fingerprint

Web services
Chemical analysis
Web service composition
Interoperability
Life cycle
Modeling
Planning
Recovery
Composite materials

Keywords

  • Composition
  • Proofs
  • SOA
  • Web services

ASJC Scopus subject areas

  • Software
  • Management Information Systems
  • Information Systems
  • Hardware and Architecture

Cite this

Declarative Web services composition using proofs. / Baccar, Sana; Rouached, Mohsen; Verborgh, Ruben; Abid, Mohamed.

In: Service Oriented Computing and Applications, 29.03.2018, p. 1-19.

Research output: Contribution to journalArticle

Baccar, Sana ; Rouached, Mohsen ; Verborgh, Ruben ; Abid, Mohamed. / Declarative Web services composition using proofs. In: Service Oriented Computing and Applications. 2018 ; pp. 1-19.
@article{b722f232681b4b77809bd6a57ed2df80,
title = "Declarative Web services composition using proofs",
abstract = "Over the last decade, Web services composition has become a thriving area of research and development endeavors for application integration and interoperability. Although Web services composition has been heavily investigated, several issues still need to be addressed. In this paper, we mainly discuss two major bottlenecks in the current process of modeling compositions. The first bottleneck is related to the level of expertise required to achieve a composition process. Typical procedural style of modeling, inspired by workflow/business process paradigm, do not provide the required abstractions. Therefore, they fail to support dynamic and self-managed compositions able to adapt to unpredictable changes. The second bottleneck in current service compositions concerns their life cycle and their management, also called their governance. In this context, we propose a declarative proof-based approach to Web service composition. Based on the three stages of pre-composition, abstraction, and composition, our solution provides an easy way to specify functional and non-functional requirements of composite services in a precise and declarative manner. It guides the user through the composition process while allowing detection and recovery of violations at both design and run-time using proofs and planning. Experiment results clearly show the added value of the proof-based solution as a viable strategy to improve the composition process.",
keywords = "Composition, Proofs, SOA, Web services",
author = "Sana Baccar and Mohsen Rouached and Ruben Verborgh and Mohamed Abid",
year = "2018",
month = "3",
day = "29",
doi = "10.1007/s11761-018-0234-4",
language = "English",
pages = "1--19",
journal = "Service Oriented Computing and Applications",
issn = "1863-2386",
publisher = "Springer London",

}

TY - JOUR

T1 - Declarative Web services composition using proofs

AU - Baccar, Sana

AU - Rouached, Mohsen

AU - Verborgh, Ruben

AU - Abid, Mohamed

PY - 2018/3/29

Y1 - 2018/3/29

N2 - Over the last decade, Web services composition has become a thriving area of research and development endeavors for application integration and interoperability. Although Web services composition has been heavily investigated, several issues still need to be addressed. In this paper, we mainly discuss two major bottlenecks in the current process of modeling compositions. The first bottleneck is related to the level of expertise required to achieve a composition process. Typical procedural style of modeling, inspired by workflow/business process paradigm, do not provide the required abstractions. Therefore, they fail to support dynamic and self-managed compositions able to adapt to unpredictable changes. The second bottleneck in current service compositions concerns their life cycle and their management, also called their governance. In this context, we propose a declarative proof-based approach to Web service composition. Based on the three stages of pre-composition, abstraction, and composition, our solution provides an easy way to specify functional and non-functional requirements of composite services in a precise and declarative manner. It guides the user through the composition process while allowing detection and recovery of violations at both design and run-time using proofs and planning. Experiment results clearly show the added value of the proof-based solution as a viable strategy to improve the composition process.

AB - Over the last decade, Web services composition has become a thriving area of research and development endeavors for application integration and interoperability. Although Web services composition has been heavily investigated, several issues still need to be addressed. In this paper, we mainly discuss two major bottlenecks in the current process of modeling compositions. The first bottleneck is related to the level of expertise required to achieve a composition process. Typical procedural style of modeling, inspired by workflow/business process paradigm, do not provide the required abstractions. Therefore, they fail to support dynamic and self-managed compositions able to adapt to unpredictable changes. The second bottleneck in current service compositions concerns their life cycle and their management, also called their governance. In this context, we propose a declarative proof-based approach to Web service composition. Based on the three stages of pre-composition, abstraction, and composition, our solution provides an easy way to specify functional and non-functional requirements of composite services in a precise and declarative manner. It guides the user through the composition process while allowing detection and recovery of violations at both design and run-time using proofs and planning. Experiment results clearly show the added value of the proof-based solution as a viable strategy to improve the composition process.

KW - Composition

KW - Proofs

KW - SOA

KW - Web services

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

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

U2 - 10.1007/s11761-018-0234-4

DO - 10.1007/s11761-018-0234-4

M3 - Article

AN - SCOPUS:85044480401

SP - 1

EP - 19

JO - Service Oriented Computing and Applications

JF - Service Oriented Computing and Applications

SN - 1863-2386

ER -