Skip to content

ST6RI-932 SysML 2.1 Ballot #2 - Abstract Syntax#762

Merged
seidewitz merged 8 commits into
masterfrom
ST6RI-932
Jun 8, 2026
Merged

ST6RI-932 SysML 2.1 Ballot #2 - Abstract Syntax#762
seidewitz merged 8 commits into
masterfrom
ST6RI-932

Conversation

@seidewitz

Copy link
Copy Markdown
Member

This PR implements resolutions for the following issues that were approved on SysML 2.1 RTF Ballot 2.

  • SYSML21-15 Error in constraint validateAssignmentActionUsageReferent
    • Fixed the derivation and validation of AssignmentActionUsage::referent.
  • SYSML21-17 Error in constraint validateAssignmentActionUsage
    • Implemented a validation check for validateAssignmentActionUsageReferentIsTimeVarying and a corresponding Xpect test.
  • SYSML21-419 Derivation of ownedMetadata is incorrect
    • Implemented setting delegates for computing Definition::ownedMetadata and Usage::nestedMetadata and a corresponding test in SysMLInteractiveTest.
    • Note that the default would be sufficient and the new delegates unnecessary if the subsetting of these properties had been properly changed in the specification addition to their derivation (see SYSML21-648).

Resolutions for the following issues had been implemented previously. This PR removes TODO comments related to updating the specification for them (as has now been done).

  • SYSML21-4 Error in constraint checkConstraintUsageCheckedConstraintSpecialization
  • SYSML21-299 Constraint checkIncludeUseCaseSpecialization is misnamed
  • SYSML21-301 Viewpoint specialization constraints are incorrect
  • SYSML21-309 Constraint checkRequirementUsageObjectiveRedefinition needs to handle feature chains

Other abstract syntax issues on Ballot 2 do not require changes to the implementation in this PR. Note that updating the .uml and .ecore metamodel files was already addressed by PR #760.

@seidewitz seidewitz added this to the 2026-05 milestone Jun 8, 2026
@seidewitz seidewitz self-assigned this Jun 8, 2026
@seidewitz seidewitz requested review from AxelRICHARD and himi June 8, 2026 03:37
@seidewitz seidewitz merged commit 840a9f7 into master Jun 8, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants