-- Matching model elements

This module defines predicates that enable matching elements of a given model against a object-template that can be defined in another model. This is generally done by using a classes stereotype to indicate the type of model-element to be matched and reinterpreting all other attributes as attributes of the element to be matched.

- Heiko Lewin <>
pl_givenness(Model, ObjectDescription)
Unifies the Object-Description with an object given in the Model. The description is a class-term whose stereotype indicates the type of the model-elements that should be matched. It's name is unified with the element's naming-attribute. Any attributes of the matched element are unified with the description's attributes, extending it's attribute list as necessary.