A Type-theoretic Approach to Cloud Data Integration

Pavel Shapkin; Gregory Pomadchin

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

A Type-theoretic Approach to Cloud Data Integration

Topics: Metadata and Metamodeling; System Integration; Web Programming; Web Services and Web Engineering

In Proceedings of the 11th International Conference on Web Information Systems and Technologies WEBIST - Volume 1, 164-169, 2015 , Lisbon, Portugal

Authors: Pavel Shapkin and Gregory Pomadchin

Affiliation: National Research Nuclear University MEPhI (Moscow Engineering Physics Institute), Russian Federation

Keyword(s): Type Theory, Data Integration.

Related Ontology Subjects/Areas/Topics: Internet Technology ; Metadata and Metamodeling ; System Integration ; Web Information Systems and Technologies ; Web Interfaces and Applications ; Web Programming ; Web Services and Web Engineering

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.223.159.195

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 - WEBIST; ISBN 978-989-758-106-9; ISSN 2184-3252, SciTePress, pages 164-169. DOI: 10.5220/0005495301640169

@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 - WEBIST},
year={2015},
pages={164-169},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005495301640169},
isbn={978-989-758-106-9},
issn={2184-3252},
}

TY - CONF

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