Deals with the information in SecureUML (and its dialects) metamodels.