Cases
Generated from the sysml-rs language pack — see the Language Reference index for provenance, licensing, and the raw JSON. 15 cards.
Analysis Case
SysML — sysml.cases.analysis-case
An analysis case computes results from inputs to support a decision, typed by an analysis case definition. Its subject and bound features feed the analysis.
package P { analysis def AC; analysis ac : AC; }
Normative clauses: SysML §8.3.23.3
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Related: Analysis Case (Library Definition)
Analysis Case Definition
SysML — sysml.cases.analysis-case-definition
An analysis case definition is a case that computes an analytical result about its subject — a study, trade, or evaluation. It is written with the analysis def keywords.
package P { analysis def AnaD; }
Normative clauses: SysML §8.3.23.2
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Case Definition
SysML — sysml.cases.case-definition
A case definition is a process that produces a result while relating a subject to an objective — the common base of analysis, verification, and use cases. It is written with the case def keywords.
package P { case def CaseD; }
Normative clauses: SysML §8.3.22.2
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Case Usage
SysML — sysml.cases.case-usage
A case usage is a specific performed case, typed by a case definition, that carries out its process for a subject. It is written with the case keyword and a type.
package P { case def CaseD; case c : CaseD; }
Normative clauses: SysML §8.3.22.3
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Include Use Case
SysML — sysml.cases.include-use-case
An included use case invokes another use case as a step of the current one, reusing its behavior. It is written with the include use case keywords and lowers to a distinct include-use-case usage.
package P { use case def UC { include use case inc; } }
Normative clauses: SysML §8.3.25.2
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Objective
SysML — sysml.cases.objective
An objective states the requirement a case aims to satisfy — the goal that defines when the case has succeeded. It is written with the objective keyword inside a case and lowers to an objective membership carrying the requirement usage.
package P { case def CaseD { objective obj; } }
Normative clauses: SysML §8.3.22.4
Support (sysml-rs): parse ✓ · resolve unknown · elaborate unknown · execute unknown
Requirement Verification
SysML — sysml.cases.requirement-verification
A requirement verification names the requirement a verification case is checking, tying the case’s verdict to that requirement. It is written with the verify keyword and lowers to a requirement-verification membership carrying the requirement usage.
package P { requirement def R; verification def VerD { verify requirement r : R; } }
Normative clauses: SysML §8.3.24.2
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Use Case Definition
SysML — sysml.cases.use-case-definition
A use case definition defines a reusable goal-oriented interaction between a subject system and its actors. Use case usages instantiate it against a specific subject.
package P { use case def Withdraw; }
Normative clauses: SysML §8.3.25.3
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Use Case Usage
SysML — sysml.cases.use-case-usage
A use case usage is a typed occurrence of a use case within a model, typed by a use case definition. It applies the interaction to a concrete subject and actors.
package P { use case def Withdraw; use case uc : Withdraw; }
Normative clauses: SysML §8.3.25.4
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Verification Case
SysML — sysml.cases.verification-case
A verification case checks that a system satisfies its requirements, producing a verdict from its objective and result. It verifies the requirements it references.
package P { verification def VC; verification vc : VC; }
Normative clauses: SysML §8.3.24.4
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Related: Verification Case (Library Definition)
Verification Case Definition
SysML — sysml.cases.verification-case-definition
A verification case definition is a case that checks whether a subject meets its requirements, producing a verdict. It is written with the verification def keywords.
package P { verification def VerD; }
Normative clauses: SysML §8.3.24.3
Support (sysml-rs): parse ✓ · resolve ✓ · elaborate unknown · execute unknown
Analysis Case Objective Bound To Result
SysML — sysml.validation.analysis-case-objective-bound-to-result
An analysis case’s objective subject is bound to the analysis result (not the case subject).
Normative clauses: SysML §7.23.2
Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown
Case Has Subject And Objective
SysML — sysml.validation.case-has-subject-and-objective
A case has ≤1 subject (first input) and ≤1 objective.
Normative clauses: SysML §8.3.22.2
Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown
Verdict Criteria Modeled Explicitly
SysML — sysml.validation.verdict-criteria-modeled-explicitly
The pass/fail criteria must be modeled explicitly in the case body; no implicit derivation.
Normative clauses: SysML §8.4.20.1
Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown
Verdict Semantics
SysML — sysml.validation.verdict-semantics
Pass=subject determined to satisfy; Fail=determined not to; Inconclusive=determination could not be made; Error=error during verification.
Normative clauses: SysML §7.24.1
Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown