SysML 1.7 RTF Avatar
  1. OMG Issue

SYSML17 — ControlValue to ControlValueKind

  • Key: SYSML17-469
  • Status: open  
  • Source: Elparazim ( Edward Roberts)
  • Summary:

    UML::Behavior.allInstances()>forAll(b | not (ControlOperator.allInstances().base_Behavior>includes(b) xor b.ownedParameter >exists(p | p.type=SysML::Libraries::ControlValues::ControlValue))) and UML::Operation.allInstances()>forAll(o | not (ControlOperator.allInstances().base_Operation->includes(o) xor o.ownedParameter ->exists(p | p.type=SysML::Libraries::ControlValues::ControlValue)))

    TO

    UML::Behavior.allInstances()>forAll(b | not (ControlOperator.allInstances().base_Behavior>includes(b) xor b.ownedParameter >exists(p | p.type=SysML::Libraries::ControlValues::ControlValueKind))) and UML::Operation.allInstances()>forAll(o | not (ControlOperator.allInstances().base_Operation->includes(o) xor o.ownedParameter ->exists(p | p.type=SysML::Libraries::ControlValues::ControlValueKind)))

  • Reported: SysML 1.6 — Fri, 18 Jun 2021 13:02 GMT
  • Updated: Wed, 23 Jun 2021 15:43 GMT