[Profile picture of Ruben Verborgh]

Ruben Verborgh

Proof-based Automated Web API Composition and Integration

by Ruben Verborgh, Thomas Steiner, Erik Mannens, Rik Van de Walle, and Joaquim Gabarró Vallés

Many providers offer Web APIs that expose their services to an ever increasing number of mobile and desktop applications. However, all interactions have to be explicitly programmed by humans. Automated composition of those Web APIs could make it considerably easier to integrate different services from different providers. In this paper, we therefore present an automated Web API composition method, based on theorem-proving principles. The method works with existing Semantic Web reasoners at a Web-scale performance. This makes proof-based composition a good choice for Web API integration. We envision this method for use in different fields, such as multimedia service and social service composition.

BibTeX other citation formats

Published in 2013 in Proceedings of the International Conference on Advanced IT, Engineering and Management.

Keywords:

Read this article online

Cite this article in your work

Cite this article easily using its BibTeX entry:

@inproceedings{verborgh_aim_2013,
  author = {Verborgh, Ruben and Steiner, Thomas and Mannens, Erik and Van de Walle, Rik and Gabarr\'o Vall\'es, Joaquim},
  title = {Proof-based Automated {Web API} Composition and Integration},
  year = 2013,
  month = feb,
  booktitle = {Proceedings of the International Conference on Advanced IT, Engineering and Management},
  pages = {181--182},
}

Alternatively, pick a reference of your choice below:

IEEE
R. Verborgh, T. Steiner, E. Mannens, R. Van de Walle, and J. Gabarró Vallés, “Proof-based Automated Web API Composition and Integration,” in Proceedings of the International Conference on Advanced IT, Engineering and Management, 2013, pp. 181–182.
ACM
Ruben Verborgh, Thomas Steiner, Erik Mannens, Rik Van de Walle, and Joaquim Gabarró Vallés. 2013. Proof-based Automated Web API Composition and Integration. In Proceedings of the International Conference on Advanced IT, Engineering and Management. 181–182.
LNCS
Verborgh, R., Steiner, T., Mannens, E., Van de Walle, R., Gabarró Vallés, J.: Proof-based Automated Web API Composition and Integration. In: Proceedings of the International Conference on Advanced IT, Engineering and Management. pp. 181–182 (2013).
APA
Verborgh, R., Steiner, T., Mannens, E., Van de Walle, R., & Gabarró Vallés, J. (2013). Proof-based Automated Web API Composition and Integration. In Proceedings of the International Conference on Advanced IT, Engineering and Management (pp. 181–182).
MLA
Verborgh, Ruben et al. “Proof-Based Automated Web API Composition and Integration.” Proceedings of the International Conference on Advanced IT, Engineering and Management. 2013. 181–182. Print.

Discuss this article