Graph transformations on the UML metamodelOn Constraints and Queries in UMLSketching Concepts and Computational Model of TROLL light