SysML 1.6 RTF Avatar
  1. OMG Issue

SYSML16 — BoundReference constraint#3 is unclear

  • Key: SYSML16-326
  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    BoundReference constraint#3 states the following:

    The role of boundEnd shall be a property accessible by navigation from instances of the block owning the property to which BoundReference is applied, but shall not be the property to which BoundReference is applied, or one that it is related to by redefinition.

    It's not clear what "navigable" means here. Please clarify.

  • Reported: SysML 1.5 — Tue, 8 Aug 2017 15:18 GMT
  • Disposition: Duplicate or Merged — SysML 1.6
  • Disposition Summary:

    Merged with SYSML16-274

    Clarify as suggested as part of SYSML16-311.
    Revised text:

    self.base_Property.association->notEmpty() and 
    self.boundEnd.definingEnd->notEmpty() and
    self.base_Property.association.navigableOwnedEnd->includes(self.boundEnd.definingEnd)
    
  • Updated: Mon, 1 Apr 2019 18:17 GMT