by capturing the relationships between models and providing well-defined operators to
manipulate them. In this paper, we describe two such operators for manipulating hierarchical
Statecharts: Match, for finding correspondences between models, and Merge, for combining
models with respect to known correspondences between them. Our Match operator is
heuristic, making use of both static and behavioural properties of the models to improve the …