On verifying the use of a pattern language in model driven design