Issue 11644: Section: Annex B.2.4 (marte-ftf) Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com) Nature: Clarification Severity: Minor Summary: Inconsistency between the VSL BNF and metamodel (Variable declaration) In the VSL annex, Figure B.4 (VSL::Expressions package) indicates that a Variable has "direction" property: VariableDirectionKind [0..1]. On the other hand, in the BNF, the <variable-direction> term is not between brackets, which means that it is a mandatory term. Proposed resolution: either we update the BNF or we change the multiplicity of the direction property in the metamodel. Resolution: As far as the variable direction is optional, as described in the metamodel, the grammar should be revised and modified with the brackets for the <variable-direction> term. Revised Text: Page 402 old text: <variable-declaration> ::= <variable-direction> '$' <variable-name> [<type-name>] ['=' <init-expression>] Page 402 new text: <variable-declaration> ::= [<variable-direction>] '$' <variable-name> [<type-name>] ['=' <init-expression>] Actions taken: November 6, 2007: received issue February 17, 2010: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 06 Nov 2007 07:48:50 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Sébastien Demathieu Company: Thales mailFrom: sebastien.demathieu@thalesgroup.com Notification: Yes Specification: UML profile for MARTE Section: Annex B.2.4 FormalNumber: 07-08-04 Version: Beta 1 RevisionDate: 08/2007 Page: 388 Nature: Clarification Severity: Minor HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.8.1.9) Gecko/20071025 Firefox/2.0.0.9 Description Inconsistency between the VSL BNF and metamodel (Variable declaration) In the VSL annex, Figure B.4 (VSL::Expressions package) indicates that a Variable has "direction" property: VariableDirectionKind [0..1]. On the other hand, in the BNF, the term is not between brackets, which means that it is a mandatory term. Proposed resolution: either we update the BNF or we change the multiplicity of the direction property in the metamodel.