Declarative Web Services Composition Using Proofs
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.
full text BibTeX other citation formats
Published in 2018 in Service Oriented Computing and Applications.
- Web
- proof
- Web services
- interoperability
- Web service
- service composition
- research
Read this article online
- Read the full text online.
- Request a digital copy of this article.
- Comment on this article.
Cite this article in your work
Cite this article easily using its BibTeX entry:
@article{baccar_soca_2018,
title = {Declarative {Web} Services Composition Using Proofs},
author = {Baccar, Sana and Rouached, Mohsen and Verborgh, Ruben and Abid, Mohamed},
journal = {Service Oriented Computing and Applications},
year = 2018,
month = dec,
volume = 12,
number = {3--4},
pages = {371--389},
publisher = {Springer},
issn = {1863-2394},
doi = {10.1007/s11761-018-0234-4},
url = {http://rdcu.be/KbVv},
}
Alternatively, pick a reference of your choice below:
- IEEE
- S. Baccar, M. Rouached, R. Verborgh, and M. Abid, “Declarative Web Services Composition Using Proofs,” Service Oriented Computing and Applications, vol. 12, no. 3–4, pp. 371–389, Dec. 2018.
- ACM
- Sana Baccar, Mohsen Rouached, Ruben Verborgh, and Mohamed Abid. 2018. Declarative Web Services Composition Using Proofs. Service Oriented Computing and Applications 12, 3–4 (December 2018), 371–389.
- LNCS
- Baccar, S., Rouached, M., Verborgh, R., Abid, M.: Declarative Web Services Composition Using Proofs. Service Oriented Computing and Applications. 12, 371–389 (2018).
- APA
- Baccar, S., Rouached, M., Verborgh, R., & Abid, M. (2018). Declarative Web Services Composition Using Proofs. Service Oriented Computing and Applications, 12(3–4), 371–389.
- MLA
- Baccar, Sana, et al. “Declarative Web Services Composition Using Proofs.” Service Oriented Computing and Applications, vol. 12, no. 3–4, Springer, Dec. 2018, pp. 371–89.
Discuss this article
- Discover all publications by Ruben Verborgh.
- Find related articles on Google Scholar.
- Post your questions or comments below.