2022-12 - SysML v2 Pilot Implementation

This is an incremental update to the 2022-11 release. It corresponds to Eclipse plugin version 0.31.0.

Language Features

KerML

1. Elements. The Element metaclass is now abstract in the Root abstract syntax. The element notation has therefore been removed from KerML.
   [PR #445]
2. Relationships. The Relationship metaclass is now abstract in the Root abstract syntax. The relationship notation has therefore been removed from KerML.
   [PR #445]
3. Dependencies. Dependency has been added to the Root abstract syntax. The concrete syntax is the same dependency notation as is already in SysML.
   [PR #445]

KerML and SysML

4. Effective names. Effective naming has been extended to short names. If both the declared name and short name of a feature are empty, but it has a naming feature (e.g., a feature it redefines), then it will take both its name and short name from the naming feature.

   part def A {
       attribute <short> longName;
   }
   part def B :> A {
       // This attribute takes both the name "longName" and
       // the short name "short" from its redefined feature.
      attribute redefines longName;
   }
   

   [PR #445]

Model Libraries

Kernel Semantic Library

1. KerML. The reflective KerML model has been updated for abstract syntax changes.
   [PR #445]
2. Occurrences and Performances. Various features related to spatial and temporal modeling associations in the Occurrences and Performances models have been marked as inverses (for example successors and predecessors in Occurrences are inverse features, related to the HappensBefore association). Certain conditions have also been moved from associations to these features.
   [PR #442 and 451]

Systems Model Library

3. SysML. The reflective SysML model has been updated for a small abstract syntax correction.
   [PR #445]
4. StandardViewDefinitions. The number of view definitions in the StandardViewDefinitions package has been reduced from 16 to 9.
   [PR #444]

Backward Incompatibilities

1. Keywords. Removed from KerML: element relationship
   [PR #445]
2. Effective names. The (non-derived) shortName and name properties of Element have been renamed to declaredShortName and declaredName. The (derived) effectiveName property has been renamed to name, and a new, derived shortName property has been added. The property name should be used instead of effectiveName when, e.g., querying for an element using the API.
   [PR #445]
3. Multiplicity. The derivation of the Type::multiplicity property in the abstract syntax has been changed to only select from the owned members of the Type. This means the property will only have a value if the Type has an explicitly declared multiplicity, but not for an implicitly "inherited" multiplicity. (The new utility method FeatureUtil.getMultiplicityOf(Type) implements the previous derivation computation for multiplicity.)
   [PR #448]

Jupyter

None.

Visualization

1. PlantUML

   • Short names. Short names (if not empty) are now shown in textual declarations rendered in compartments.
     [PR #440]
   • XMI visualization. The XMI content of a .sysmlx files can now be visualized by opening it in a basic editor in Eclipse.
     [PR #449]

2. Tom Sawyer
   None.

Technical Updates

None.

Bug Fixes

1. LiteralBoolean. The implemented default for a LiteralBoolean value was created from true to the EMF-generated false.
   [PR #446]
2. Conditional succession. The implicit specialization for TransitionUsages used as conditional succession in action models has been to be the new Action::decisionTransition feature, which is correctly typed by DecisionTransition.
   [PR #447]
3. Connections (PlantUML). Corrected the rendering of connections to redefined features.
   [PR #439]
4. Feature chains (PlantUML). Corrected the rendering of feature chains that start with subsetting or redefining features.
   [PR #443]
5. Feature values (PlantUML). Corrected the rendering of feature values that don't have an = in the textual notation.
   [PR #450]