AML

The AtlanMod Matching Language (AML) is a Domain Specific Language for expressing matching strategies. A matching strategy computes equivalences between models. Equivalences (also known as mappings, correspondences) can leverage essential model management tasks, among them, model transformation generation. AML is implemented on top of ATL and AMW.

AML extends the fundamental stated in the AMW matching use case. There, a matching strategy is a chain of transformations. Each transformation:

• • instruments a type of heuristic,
  • takes as input a set of models: the models to be matched (i.e., Left and Right), an equal model that refers to them, and a set of additional models,
  • and, yields an equal model. Equal models conform to an extension of the AMW core metamodel.

AML keeps the declarative flavor of ATL for expressing matching rules, and adds dataflow programming constructs for describing transformation chains. Figure 1. shows the AML architecture:

• The AML Compiler takes a given AML program and performs the following tasks:
  • Analyze the AML program (syntax and semantic).
  • Generate an ATL transformation for each matching rule.
  • Translate the modelFlow block into an Ant script specifying the transformation chain.
  • Integrate ATL transformation from a Library.

• The AML Accuracy component enables to measure the precision, recall, and fscore of a strategy. How? by comparing an computed equal model to an expected equal model.

• The AMW GUI allows users to manually refine equal models.

• HOTs take computed equal models and generate ATL transformations. Each HOT adresses an application domain, e.g., model adaptation, model merging.