Skip to content

2023-07 - SysML v2 Pilot Implementation

Compare
Choose a tag to compare
@seidewitz seidewitz released this 28 Jul 23:19
· 361 commits to master since this release
8fcf70a

This is an incremental update to the 2023-02 release. It corresponds to Eclipse plugin version 0.34.0.

Note: This is the first release since 2023-02.

Language Features

  1. Validation constraints. Most previously unimplemented validation constraints from the Beta 1 versions of the KerML and SysML specifications have now been implemented.
    [PR #486] [PR #487]

Model Libraries

None.

Backward Incompatibilities

  1. Validation. Some of the newly implemented validation constraints are already automatically satisfied when a model is parsed from the textual notation. However, the other constraints may cause some models that previously passed validation checking to now fail with errors.

Jupyter

  1. %help command. A new %help "magic" command has been added to the Jupyter implementation. Without an argument, this command prints a list of all available magic commands. If given a command name (with or without the initial %) as its argument, it prints the help information for that command (i.e., %helpcmd produces the same result as %cmd -h).
    [PR #493]

Visualization

  1. PlantUML
    See Bug Fixes.

  2. Tom Sawyer
    None.

Technical Updates

None.

Bug Fixes

  1. Rendering of "initial" feature values (PlantUML). Removes the rendering of an unnecessary = along with :=.
    [PR #484]
  2. Rendering of feature chains (PlantUML). Corrects the rendering of feature chains at then ends of successions in behavioral diagrams.
    [PR #485]
  3. Expression evaluation. Corrects the implementation of integer division and unary Real operator evaluation.
    [PR #488]
  4. Derived value computation. Corrects the computation of derived values of various properties.
    [PR #490]
  5. Implicit specialization. Corrects the adding of an implicit specialization for declarations that have circular owned specializations.
    [PR #491]
  6. Transition usages. Corrects a problem with the setting of the source of a transition usage that could cause spurious warning messages.
    [PR #492]
  7. End features. Corrects the implicit redefinition of an end feature whose owner specializes a feature chain.
    [PR #494]
  8. Analysis cases. Corrects the computation of the derived value of the resultExpression property for AnalysisCaseDefinitions and AnalysisCaseUsages.
    [PR #495]