ECL is a hybrid, rule-based language for comparing homogeneous or heterogeneous models. ECL can be used to establish the correspondences on which models can be merged using the merging language of Epsilon, or for transformation testing.
Chapter 9 of the Epsilon book provides a complete reference of the syntax and semantics of ECL.