Profile contract
uml.usecase@3
uml.usecase@2 plus: extend conditions on the label; extension-point existence (DDN-PX004).
graph projectionUML use-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.
- Render extend conditions on the connector label; retain subject and extension-point existence checks.
- Version 3 inherits the supported actor/classifier generalization behavior; its shorter catalogue exclusion must not remove working version-2 functionality.
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@3"
}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
- actor generalization details
- formal UML conformance