MARTE_ — Marte: more complete definition of contextParams in GaAnalysisContext (ch 15)

The attribute contextParams in the domain model (Fig 15.2) is a collection of VSL::Expression::Variable (Variable as defined in Sec B.3.3.12). However in the profile definition of Sec 15.3.2.2 it is just defined as a set of strings.

To make it consistent with the domain model, and useful for defining parameters of contexts, the strings should be defined to conform to the concrete syntax for variable calls or declarations of Sec B.3.3.12.

Three of the examples of Sec 17.4 use these attributes, in a form that is no longer in the document, and need to be updated (see Figs 17.16, 17.17, 17.21, 17.27)

To make it consistent with the domain model, and useful for defining parameters
of contexts, the strings should be defined to conform to the concrete syntax for
variable calls or declarations of Sec B.3.3.12.
Three of the examples of Sec 17.4 use these attributes, in a form that is no
longer in the document, and need to be updated (see Figs 17.16, 17.17, 17.21,
17.27)