Issue 11550: non-terminal symbol <namespace> (marte-ftf) Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com) Nature: Enhancement Severity: Minor Summary: The VSL grammar introduces a non-terminal symbol <namespace> in the syntax definition of property call expression and variable call expression. However, this symbol seems to be missing in the syntax definition of enumeration specification as well as observation call expression. As a consequence, it is not possible to reference without ambiguity two time instant observations with the same name but with different fully qualified names. That prevents from using observations with similar names in different packages. Resolution: For the case of Enumeration specification, it is not necessary to specify the namespace. Enumerations values are always related to a typed property or tag definition. The type of those properties or tag definitions (an Enumeration data type) defines the scope of the enumeration literal specified. For the case of Observation Call Expression, the namespace is missing. This resolution proposes to add such a namespace. Revised Text: -In Section B.3.3.15, modify and extend the BNF for <instant-obs-name> and <duration-obs-name>: <instant-obs-name> ::= [<namespace> '.'] <body-text> <duration-obs-name> ::= [<namespace> '.'] <body-text> <namespace> ::= <body-text> Actions taken: October 8, 2007: received issue February 17, 2010: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 08 Oct 2007 11:28:20 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Sébastien Demathieu Company: Thales mailFrom: sebastien.demathieu@thalesgroup.com Notification: Yes Specification: A UML Profile for MARTE Section: Annex B FormalNumber: realtime/07-08-04 Version: Beta 1 RevisionDate: 08/2007 Page: 404 Nature: Enhancement Severity: Minor HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.8.1.7) Gecko/20070914 Firefox/2.0.0.7 Description The VSL grammar introduces a non-terminal symbol in the syntax definition of property call expression and variable call expression. However, this symbol seems to be missing in the syntax definition of enumeration specification as well as observation call expression. As a consequence, it is not possible to reference without ambiguity two time instant observations with the same name but with different fully qualified names. That prevents from using observations with similar names in different packages.