-
Key: SYSML2-497
-
Status: open
-
Source: Model Driven Solutions ( Mr. Ed Seidewitz)
-
Summary:
The approved resolution to
SYSML2-28includes adding the constraint validateTriggerInvocationExpressionAfterArgument, which requires:If a TriggerInvocationExpression has kind = after, then it must have an argument Expression with a result that conforms to the type ISQ::DurationValue.
However, in a typical relative time trigger such as, e.g., after 10[SI::s], the result of the expression 10[SI::s] is not a DurationValue. Rather it is a ScalarQuantityValue whose mRef is the DurationUnit SI::s. Therefore, this example time trigger violates validateTriggerInvocationExpressionAfterArgument as specified in the resolution to
SYSML2-28. -
Reported: SysML 2.0b1 — Fri, 27 Oct 2023 09:31 GMT
-
Updated: Mon, 8 Apr 2024 18:21 GMT
SYSML2 — validateTriggerInvocationExpressionAfterArgument constraint is too strong
- Key: SYSML2-497
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF