A Type-theoretic Approach to Cloud Data Integration

@inproceedings{Shapkin2015ATA,
  title={A Type-theoretic Approach to Cloud Data Integration},
  author={Pavel Shapkin and Gregory Pomadchin},
  booktitle={WEBIST},
  year={2015}
}
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 

Figures from this paper

Adding agility to Enterprise Process and Data Engineering
TLDR
An appropriate general architecture pattern is discussed and insights how dynamic process management environment could be made and a special component called a process knowledge base is introduced to justify its crucial role in achieving agility within the enterprise.

References

SHOWING 1-6 OF 6 REFERENCES
A translation approach to portable ontology specifications
TLDR
This paper describes a mechanism for defining ontologies that are portable over representation systems, basing Ontolingua itself on an ontology of domain-independent, representational idioms.
An Overview of the Scala Programming Language
TLDR
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.
A Survey of Extract-Transform-Load Technology
TLDR
This survey covers the conceptual and logical modeling of ETL processes, along with some design methods, and visits each stage of the E-T-L triplet, and examines problems that fall within each of these stages.
Coercive Subtyping
TLDR
This approach, subtyping with speciied implicit coercions is treated as a feature at the level of the logical framework; in particular, the meaning of an object being in a supertype is given by coercive deenition rules for the deenitional equality.
Combinatory logic in programming
  • 2003
Introduction to Functional Programming