The Application Model is composed by the description of signatures of the operations, by the definition of the data types and related invariants, by the retrive and reification functions between the syntactic and semantic representations and by the implementation of the XMetoo functionality over the semantic representation.
All the information can be deduced from the CAMILA specification, the XMetoo functions being obtained (almost all of them) during the reification process.