SysML 1.7 RTF Avatar
  1. OMG Issue

SYSML17 — Taken literally the text and OCL of constraint '6_valueproperties_composite' imply that every FlowProperty typed by a ValueType should have AggregationKind 'composite'

  • Key: SYSML17-399
  • Status: open  
  • Source: Webel IT Australia ( Dr. Darren Kelly)
  • Summary:

    Although the name of the constraint 6_valueproperties_composite suggests it is only intended for value properties, the text and OCL of the constraint imply that a FlowProperty typed by a ValueType should also have AggregationKind composite:

    ‘If a property owned by a SysML Block or SysML ValueType is typed by a SysML ValueType, then the aggregation attribute of the property shall be "composite."’

    self.base_Class.ownedAttribute->select(a| ValueType.allInstances().base_DataType ->includes(a.type))->forAll(a|a.isComposite())

    Note also that the following specification text on p.53 under Block if taken literally would mean that any FlowProperty typed by a ValueType is a value property:

    'A property typed by a SysML ValueType is classified as a value property, and always has composite aggregation.'

  • Reported: SysML 1.6 — Thu, 14 Jan 2021 01:58 GMT
  • Updated: Thu, 14 Jan 2021 21:38 GMT