Issue 11340: Section: Annex B3.3.3 p 397 (marte-ftf)
Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com)
Nature: Clarification
Severity: Minor
Summary: A circular reference between the <value-specification> -> <time-expression> -> <instant-expr> -> <value-specification> rules prevents a straightforward implementation of the VSL BNF grammar.

Resolution: We modify the grammar for time expressions to prevent the circular reference.
Revised Text: -In Section B.3.3.17, replace the second and third rules by:

<instant-expr> ::= ( ( <datetime-literal> | <variable-call-expr> ) ['+' <duration-expr>] ) | ( <instant-obs-expr> [ '+' <duration-expr> ] )
<duration-expr> ::= ( <real-literal> | <variable-call-expr> ) | <duration-obs-expr> | ( '(' <instant-obs-expr> '-' <instant-obs-expr> ')' )

Actions taken:
September 11, 2007: received issue
February 17, 2010: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 11 Sep 2007 11:06:19 -0400
To: <issues@omg.org>
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 B3.3.3
FormalNumber: ptc/07-08-04
Version: Beta 1
RevisionDate: 08/2007
Page: 397
Nature: Clarification
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.8.1.6) Gecko/20070725 Firefox/2.0.0.6
Description
A circular reference between the <value-specification> -> <time-expression> -> <instant-expr> -> <value-specification> rules prevents a straightforward implementation of the VSL BNF grammar.