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.