Issue 11339: Section: Annex B3.3.3 (marte-ftf) Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com) Nature: Clarification Severity: Minor Summary: The <value-specification> rule references an <opaque-expression> rule that is not defined in the VSL grammar. Resolution: VSL expressions are specified in OpaqueExpressions. Adding new opaque expressions within a VSL expression would make VSL expressions complex, and without a real added value. Hence, we do not support in VSL nested expressions written in new languages. Note that this doesn't mean that we do not allow one to extend VSL. VSL can be extended by reusing its metaclasses, as the Clock Constraint Language in MARTE. Hence, the term <opaque-expression> in the VSL grammar is not right. This resolution proposes to remove that term from the VSL grammar. Revised Text: In section B.3.3, page 397, remove the <opaque-expression> term: The new rule for <value-specification> will be <value-specification> ::= <literal> | <enum-specification> | <interval> | <collection> | <tuple> | <choice> | <expression> | <time-expression> | <obsCallExpression> Actions taken: September 11, 2007: received issue February 17, 2010: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 11 Sep 2007 10:55:08 -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 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 The rule references an rule that is not defined in the VSL grammar. Date: Wed, 23 Apr 2008 17:43:12 +0200 From: Sébastien Demathieu Organization: Thales Research & Technology User-Agent: Thunderbird 1.5.0.9 (Windows/20061207) To: "'ESPINOZA Huascar 218344'" Cc: Laurent Rioux , marte-ftf@omg.org Subject: Re: Issues Annex B (VSL) X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id m3NFimIA016455 Huascar, Here are our comments on the VSL resolutions: - 12209: please can you let us know what is the resolution to be added to the ballot (A or B)? - 11163: do we understand the rationale beyond this request before making it "closed, no change"? Maybe we can get in touch with the author of the issue? - 11339: this issue focuses only on a "syntax error": there is no conceptual problem: In the BNF of VSL, one calls a term that is not defined in other part of the BNF. If we would just introduce this new term in the BNF then we're done. I can propose a resolution for this one if you want. - 11548: This issue is different from 11547 because the "[ ]" operator applies to a variable here. If one cannot apply a "[ ]" operator on a variable that relates to a collection then we might have a problem with the use of collections in VSL. We need to address this problem at any rate (for ballot 2 or for the next round). - 11549: The resolution is not complete in the sense that the proposed changes do not appear in an updated version of the BNF (introducing the "( )" terms along with the priorities). - 11872: It is not clear that can support the proposed changes through a library. We have attempted to made these changes and we did not get to a conclusion at this point on whether we can or we cannot do it. I would suggest changing it to "deferred" Please let me know what you think about it. Thanks, Sébastien Laurent Rioux a écrit : There are still missing 3 issues inside the wiki and to solve Laurent -----Message d'origine----- De : ESPINOZA Huascar 218344 [mailto:Huascar.ESPINOZA@cea.fr] Envoyé : mercredi 23 avril 2008 16:25 À : marte-ftf@omg.org Objet : Issues Annex B (VSL) Hello, I uploaded the issue resolution for Annex B (VSL) to the MARTE wiki. Please let me know if you have any questions. Issue 12209 has two proposals. We still need to have a consensus on this. Regards, Huascar -- Huascar ESPINOZA, Ph.D. CEA LIST Model-Driven Engineering for Real-Time Embedded Systems 91191 GIF/YVETTE CEDEX Phone/Fax: +33 1 69 08 45 87 / 20 82 FRANCE