Overview

Theoretical Background

CorrLang is based on a mathematical formalism called Comprehensive Systems and additionally uses the concept of colimits to perform schema merging. Our paper published in FoAC gives a very thorough introduction into these ideas.

Architecture

The following figure gives a high-level overview on “how” CorrLang works.