Profile contract

uml.object@2

uml.object@1 plus: underlined instance titles, slot datatype checks, uml.link multiplicity.

graph projectionUML object diagram

Open this profile in the gallery

Primary palette

Additional context roles

Relationship roles

Legal endpoints
RelationSource rolesTarget rolesSelf relation
uml.associationuml.class, uml.enumeration, uml.interfaceuml.class, uml.enumeration, uml.interfaceAllowed
uml.linkrecord, uml.class, uml.collaboration, uml.enumeration, uml.interfacerecord, uml.class, uml.collaboration, uml.enumeration, uml.interfaceNot allowed

Profile verification

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.object@2"
}

Projection properties

kind, profile, inputs, analysis_budget, traces, iso, depth

Search the property codex

Design operations

Bounded analysis

Structural verification and display only; no execution or implied process engine.

Outside this profile