Issue 11548: Annex B VSL BNF (marte-ftf) Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com) Nature: Enhancement Severity: Minor Summary: In the VSL BNF, the use of the "[ ]" symbol should not be limited to collections. One may want to use it along with variable call expressions (e.g. "collec[2]"), property call expressions. Maybe other kinds of value specifications also apply. Resolution: The current mechanism of defining operations on data types allows one to define a given operation independently of the current value itself. For instance, a property could be typed by a Collection of Integers, and this collection could be specified by a Variable. So, we can apply to this variable, all the operations defined for Collections. This issue is also related to Issue 11547, and do not need any modification in the spec. Disposition: Closed No Change Revised 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:20:45 -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: 401 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 In the VSL BNF, the use of the "[ ]" symbol should not be limited to collections. One may want to use it along with variable call expressions (e.g. "collec[2]"), property call expressions. Maybe other kinds of value specifications also apply. 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