MARTE — VSL meta-model

The VSL BNF defines a "[ ]" symbol that can be used along with a collection. The specification introduces the example: "

[2]". However, there is no related concept (access to a collection) in the VSL meta-model.

This notation (to get collection elements by using the index), comes from the TVL language in SPT, but the mentioned example was not updated to the current VSL mechanism to define operations in data types. For that, VSL uses the same approach as OCL, so that the operation for finding an element in a given collection should be defined and described at library level, in the operations of the concerned data types (collections in this case). The specification of the function will be allowed by using OperationCallExpression.

The resolution is to remove the proposed examples from VSL.

If new operations are required for Collections in the MARTE library of data types, this should be solved by posting a separated issue.