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

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.

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
  owners->includes(p.owner))