The structural semantics of UML-based metamodeling were
recently explored, providing a characterization of the models adhering
to a metamodel. In particular, metamodels can be converted to a
set of constraints expressed in a decidable subset of first-order logic, an
extended Horn logic. We augment the constructive techniques found in
logic programming, which are also based on an extended Horn logic, to
produce constructive techniques for reasoning about models and metamodels.
These methods have a number of practical applications: At the