[aadl]: EMV2 meta model

[Denis Buzdalov]

Dear all,

AADL core allows to define property set with `applies to' clause with
annex-local meta-model elements (see declaration of the
qualified_meta_model_identifier grammar rule). All elements that form
the core's meta model are listed in the Appendix C.3.

`Applies to' with EMV2-local elements are widely used in the EMV2
annex. But it seems that there is no explicit list of all meta-model
elements which are local to EMV2 (at least, at the versions of the
document of April 2015 and July 2015).

Was it intentional (e.g., due to not readiness) or is it missing by a
mistake or, probably, was it added to the later versions of the
document? Explicit list of meta model elements is a really essential
thing while checking the annex contents.

--
Denis Buzdalov
Software Engineering Department, ISPRAS