MARTE 1.2 RTF Avatar
  1. OMG Issue

MARTE12_ — VSL, Section B.3.3.9. The following attributes are missing (see figure B.7):

Open Closed All
  • Key: MARTE12_-54
  • Legacy Issue Number: 16162
  • Status: closed  
  • Source: Fundacion Tecnalia Research and Innovation ( Mr. Huascar Espinoza Ph.D.)
  • Summary:

    VSL, Section B.3.3.9. The following attributes are missing (see figure B.7):

    baseType : VSL::DataTypes::DataType [1] Designates an ordered DataType.

    ..

    isMinOpen: Boolean [0..1] Defines if minValue is excluded in the bounded value space.

    isMaxOpen: Boolean [0..1] Defines if maxValue is excluded in the bounded value space.
  • Reported: MARTE 1.0 — Fri, 29 Apr 2011 04:00 GMT
  • Disposition: Closed; No Change — MARTE 1.2
  • Disposition Summary:

    Closed no change

    Section B.3.3.9 refers to the VSL grammar rule for the production of interval specifications. There is no clause in this section where it is needed/possible to include such property description.
    Note also that, according to figure B.7, these properties belong to BoundedSubtype, and that they are appropriately described in section B.3.2.1.
  • Updated: Wed, 19 Dec 2018 16:37 GMT