Source: NIST ( Conrad Bock)
In 188.8.131.52 (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
Reported: SysML 2.0b1 — Tue, 29 Aug 2023 18:07 GMT
Updated: Tue, 12 Sep 2023 01:00 GMT