Domain-Specfic Language for Multi Model Consistency