MARTE11 — VSL - B.3.3.11 and B.3.3.12 - Introducing optional keywords ‘Tuple’ and ‘Choice’

Adding an optional keyword ‘Tuple’ may improve readability of tuple expressions, since, depending on the context, an expression of the form ‘(‘ValueSpecification’)’ can resolve to a tuple value or a choice value. Of course, the context is enough to disambiguate the rule. The optional keyword ‘Tuple’ would only provide a mean for making the expressions more readable from a user standpoint (note that the ‘Tuple’ keyword is also used in OCL). For the same reason, an optional keyword ‘Choice’ could also be added in choice expressions.

This issue concerns two aspects of VSL: Introduction of optional keyword for
clarifying the syntax, and alignment with OCL. These two points are interesting,
but only focus on some very specific aspects on the relationship between VSL
and OCL. It would not make sense to address this relationship by only focusing
on the keyword Tuple. That’s why this issue must be closed without changes,
and a new issue, more generally related to the clarification of the links between
VSL and OCL (what parts are shared, how VSL is both a short-hand notation for
some OCL statements / an extension of OCL) and the adjustments that may be
needed by the VSL syntax should be raised.
Disposition: Closed, no change