SysML 1.6 RTF Avatar
  1. OMG Issue

SYSML16 — The statement of TriggerOnNestedPort constraint#4 is not appropriate

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

    The TriggerOnNestedPort constraint#4 is stated:

    The first constraint of ElementPropertyPath shall apply to onNestedPort

    Such a reference to another constraint that, in addition, requires substituting words in order to be contextualized is not appropriate. It shall be properly stated in a straightforward way.

  • Reported: SysML 1.5 — Wed, 13 Sep 2017 06:25 GMT
  • Disposition: Duplicate or Merged — SysML 1.6
  • Disposition Summary:

    Merged with SysML16-274

    To be fixed as part of SYSML16-311:

    • The textual statement shall be replaced by:
      The port at each successive position of the onNestedPort attribute, following the first position, shall be owned by the Block that types the port at the immediately preceding position, or a generalization of the Block.
    • The corresponding OCL statement shall be:
      self.onNestedPort->size() >1 implies self.onNestedPort->subSequence(2, self.onNestedPort->size())->forAll(p |
      let np: UML::Port = self.onNestedPort->at(self.onNestedPort->indexOf(p)-1) in
      let owners: Set(UML::Classifier) = np.type.oclAsType(UML::Classifier)->including(np.type.oclAsType(UML::Classifier)) in
  • Updated: Mon, 1 Apr 2019 18:17 GMT