In this paper we present an approach for the
analysis of graph transformation rules based on an inter-
mediate OCL representation. We translate different rule
semantics into OCL, together with the properties of in-
terest (like rule applicability, conflicts or independence).
The intermediate representation serves three purposes:
(i) it allows the seamless integration of graph transfor-
mation rules with the MOF and OCL standards, and
enables taking the meta-model and its OCL constraints
(i.e. well-formedness rules) into account when verifying
the correctness of the rules; (ii) it permits the interop-
erability of graph transformation concepts with a num-
ber of standards-based model-driven development tools;
and (iii) it makes available a plethora of OCL tools to
actually perform the rule analysis. This approach is es-
pecially useful to analyse the operational semantics of
Domain Specific Visual Languages.

We have automated these ideas by providing design-
ers with tools for the graphical specification and anal-
ysis of graph transformation rules, including a back-
annotation mechanism that presents the analysis results
in terms of the original language notation.