SysML 1.6 RTF Avatar
  1. OMG Issue

SYSML16 — Constraint#2 of the InvocationOnNestedPortAction stereotype is invalid

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

    InvocationOnNestedPortAction constraint #2 states:

    The port at the first position in the onNestedPort list shall be owned (directly or via inheritance) by a block that types the target pin of the invocation action, or one of the block’s generalizations

    However the InvocationAction metaclass has no "target" pin, only some of its subclasses have.

  • Reported: SysML 1.5 — Thu, 7 Sep 2017 07:14 GMT
  • Disposition: Duplicate or Merged — SysML 1.6
  • Disposition Summary:

    Merged with SYSML16-274

    To be fixed as suggested by SYSML16-311.
    The principle of the resolution will be to write the OCL code so that each possible case is considered:

    let target: UML::InputPin = if self.base_InvocationAction.oclIsKindOf(UML::CallOperationAction) then 
    else if self.base_InvocationAction.oclIsKindOf(UML::SendSignalAction) then 
    else if self.base_InvocationAction.oclIsKindOf(UML::SendObjectAction) then 
    endif endif endif in
    not target.oclIsUndefined() and (
    let target_type: UML::Class = Block.allInstances()->any(b | b.base_Class = target.type).base_Class in
    not target_type.oclIsUndefined() and target_type.allFeatures()->includes(self.onNestedPort->first()))
  • Updated: Mon, 1 Apr 2019 18:17 GMT