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
123 stars 24 forks source link

ST6RI-655 Assumed and required constraints should be composite #464

Closed seidewitz closed 1 year ago

seidewitz commented 1 year ago
  1. Makes various features of RequirementCheck composite:
    • assumptions and constraints, since assume and require declarations parse as composite (also makes them subsets of Performance::subperformances).
    • subrequirements, since it subsets constraints.
    • concerns, since it subsets constraints (actually, makes it instead a subset of subrequirements, since concerns are requirements).
  2. Makes Cases::subcases, AnalysisCases::subAnalysisCases, VerificationCases::subVerificationCases and UseCases::subUseCases all composite, since they indirectly subset Actions::subactions, which is composite.
  3. Updates implicit specialization implementation as necessary for the above, and also adds entries to the ImplicitGeneralizationMap to support subsetting for requirement constraints.