This thesis presents an extensible visual language for constraint specification in domain-specific modeling environments. As the language is designed within a modeling language itself, the metamodel and visual syntax are ...