SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — checkTransitionUsageSourceBindingConnector text and OCL are different

  • Key: SYSML2-414
  • Status: open  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    In (TransitionUsage), the text for checkTransitionUsageSourceBindingConnector requires binding of the first input parameter

    A TransitionUsage must have an ownedMember that is a BindingConnector between its source and its first input parameter (which redefines Actions::TransitionAction::transitionLinkSource).

    while the OCL gives it as binding the second parameter

    ownedMember->selectByKind(BindingConnector)->exists(b |
    b.relatedFeatures->includes(source) and

  • Reported: SysML 2.0b1 — Tue, 29 Aug 2023 18:07 GMT
  • Updated: Mon, 8 Apr 2024 18:21 GMT