Profile contract
uml.usecase@2
Adds subjects, extension-point targets, conditions and classifier generalization to the declared subset.
graph projectionUse-case diagram
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
uml.extend | uml.usecase | uml.usecase | Not allowed |
uml.generalization | uml.actor, uml.usecase | uml.actor, uml.usecase | Not allowed |
uml.include | uml.usecase | uml.usecase | Not allowed |
uml.uses | uml.actor | uml.usecase | Not allowed |
Profile verification
- Actor/use-case endpoint roles remain distinct. Include and generalization graphs are acyclic.
- Use cases declare subject references; selected subject frames and ownership agree.
- Include/extend endpoints share a subject; extend targets a declared extension point and has one supported condition form, not conflicting forms.
Profile defaults
Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.
{
"projection.kind": "graph",
"projection.profile": "uml.usecase@2"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create actor/use case; connect participation/include/extend/generalization; edit author labels.
- Declare subject membership and extension points; bind extend to a target point and one condition form.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- complete UML behavioral semantics
- formal standards certification