Skip to content

2026-05 - SysML v2 Pilot Implementation

Latest
Latest

Choose a tag to compare

View all tags
@seidewitz seidewitz released this 02 Jul 13:17
2026-05
fa709f2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This is an incremental update to the 2026-04 release. It corresponds to Eclipse plugin version 0.60.1.

Language Features

  1. Metamodels. Updated KerML and SysML abstract syntax metamodels for KerML 1.1/SysML 2.1 Beta 1. Changes were entirely to documentation comments and OCL. The new metamodel is structurally that same as the KerML 1.0/SysML 2.0 metamodel. To promote compatibility, the metamodel URI is being kept the same as for 1.0/2.0 (version date 20250201) in this release.
    [PR #760]

  2. Constraints. Updated/implemented a few constraints that were corrected or added for SysML 2.1 Beta 1 (see also Backward Incompatibilities below).
    [PR #762]

  3. Textual notation. The implementation was previously consistent with two textual notation grammar errors that are now fixed.

    • Annotating members. Annotating members of an enumeration definition can now have explicit visibility indicators.
    • Framed concern usage. A framed concern usage of the form "frame concern..." now has a requirement body (i.e., it can contain assumed and required constraints.
      [PR #775]

Model Libraries

  1. Library models. Updated the KerML and SysML library models for the KerML 1.1/SysML 2.1 Beta 1. The changes were mostly to documentation comments.
    [PR #757][PR #758]

  2. KPARs. Updated the build to automatically set metamodel and version URI fields in KPARs based on the build properties METAMODEL_TAG and BUILD_TAG, which give version date tags. For this release:

    • METAMODEL_TAG = 20250201 (no change from KerML 1.0/SysML 2.0)
    • BUILD_TAG = 20260501

    [PR #759]

Backward Incompatibilities

  1. Assignment. Added a validation check that the referent of an assign action usage is time varying. Previously a non-time-varying feature was accepted.
    [PR #762]
  2. Owned metadata. Revised the derivation of the properties Definition::ownedMetadata and Usage::nestedMetadata to work properly. Previously they were always empty (due to a specification error).
    [PR #762]

Issue Resolutions

This release includes implementation of resolutions to the issues listed below.

KerML

Resolutions for the following issues were approved on KerML 1.1 RTF Ballot 2. (Ballot 1 vote was not quorate.)

  • KERML11-9 Typo in documentation of Transfer::isInstant
  • KERML11-144 Discrepancy between documentation of Collections library in spec and textual notation file

The resolution to the following issue also approved on Ballot 2 was already implemented previously.

  • KERML11-2 Occurrences::surroundedByOccurrences::surroundingSpace should not be an end feature

SysML

Resolutions for the following issues were approved on SysML 2.1 RTF Ballot 1.

Resolutions for the following issues were approved on SysML 2.1 RTF Ballot 2.

  • SYSML21-15 Error in constraint validateAssignmentActionUsageReferent
  • SYSML21-17 Error in constraint validateAssignmentActionUsage
  • SYSML21-419 Derivation of ownedMetadata is incorrect

Resolutions for the following issues also approved on Ballot 2 were already implemented previously.

  • 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

Jupyter

None.

Visualization (PlantUML)

None.

Technical Updates

  1. org.omg.sysml.logic. This change is the second step in refactoring the Pilot Implementation to allow its code to be more easily used outside the framework of Eclipse plugins. It decouples the implementation of derived value computation, OCL operations and semantic transformations from the org.omg.sysml Eclipse plug-in. It adds two new projects to the repository: org.omg.sysml.logic and org.omg.sysml.logic.bundle.
    [PR #754][PR #771][PR #774][PR #777]

  2. Implicit relationships. Updated the Xtext editor outline tree to show implicit binding connectors as being owned by implicit owning memberships (previously they were not specifically labeled "owning") and to show all implicit relationships after all explicit relationships (which was previously only true for implicit binding connectors).
    [PR #767]

Bug Fixes

  1. insantiatedType operation. Avoids a potential NullPointerExpression when calling the operation InstantiationExpression.instantiatedType().
    [PR #766]
  2. Composite variants. Fixes the accidental change that made all variant usages referential.
    [PR #768]
Assets 14
Loading