A Configurative, Multi-constraint, Visual Model Query Approach - Specification Language and Search Algorithm