A Type-theoretic Approach to Cloud Data Integration

Pavel Shapkin, Gregory Pomadchin

Abstract

We propose an architecture that helps to integrate data accessible via cloud application APIs. The central part of the platform is the domain ontology which is based on type theory. Typing is used to automate the building of integration solutions as well as for automatic verification of program code and compatibility between components.

References

  1. Gruber, T. R. et al. (1993). A translation approach to portable ontology specifications. Knowledge acquisition, 5:199-199.
  2. Harrison, J. (1997). Introduction to functional programming. Lecture Notes, Cam.
  3. Luo, Z. (1999). Coercive subtyping. Journal of Logic and Computation, 9(1):105-130. 00118.
  4. Odersky, M., Altherr, P., Cremet, V., Emir, B., Maneth, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., and Zenger, M. (2004). An overview of the Scala programming language. LAMP-EPFL.
  5. Vassiliadis, P. (2009). A Survey of Extract-Transform-Load Technology:. International Journal of Data Warehousing and Mining, 5(3):1-27.
  6. Wolfengagen, V. E. and Ismailova, L. Y. (2003). Combinatory logic in programming. Citeseer.
Download


Paper Citation


in Harvard Style

Shapkin P. and Pomadchin G. (2015). A Type-theoretic Approach to Cloud Data Integration . In Proceedings of the 11th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-758-106-9, pages 164-169. DOI: 10.5220/0005495301640169


in Bibtex Style

@conference{webist15,
author={Pavel Shapkin and Gregory Pomadchin},
title={A Type-theoretic Approach to Cloud Data Integration},
booktitle={Proceedings of the 11th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2015},
pages={164-169},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005495301640169},
isbn={978-989-758-106-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - A Type-theoretic Approach to Cloud Data Integration
SN - 978-989-758-106-9
AU - Shapkin P.
AU - Pomadchin G.
PY - 2015
SP - 164
EP - 169
DO - 10.5220/0005495301640169