search

Systems-Modeling / SysML-v2-Pilot-Implementation

Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
GNU Lesser General Public License v3.0
128 stars 24 forks source link

ST6RI-663 Case::obj should not bind its subject to Case::result #474

Closed seidewitz closed 1 year ago

seidewitz commented 1 year ago

This PR includes two changes to models in the Systems Model Library:

  1. Cases – The binding of the subject of the objective of a Case to Case::result is changed to a default. The binding in Case conflicted with the binding of the subject of the objective of a VerificationCase to the VerificationCase subject, rather than the result. A default, on the other hand, can be overridden.
  2. AnalysisCases – The default for the subject of the objective is overridden in AnalysisCase to be a mandatory binding to AnalysisCase::result. This is consistent with the specification documentation for AnalysisCase.

The above updates were included in the models in the Systems Model Library as delivered for the fourth revised submission to OMG.