Profile contract
orm.basic@1
ORM 2 (ISO/IEC 19507) notation: entity types (solid ellipses), value types (dashed ellipses), fact types as role-box predicate rows with uniqueness bars and mandatory dots, n-ary predicates, subset/equality/exclusion constraint arcs, value constraints, objectification, derivation text. No projection beyond graph.
graph projectionORM 2 object-role model
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
orm.equality | orm.facttype | orm.facttype | Not allowed |
orm.exclusion | orm.facttype | orm.facttype | Not allowed |
orm.plays | orm.facttype | orm.entitytype, orm.valuetype | Not allowed |
orm.subset | orm.entitytype, orm.facttype | orm.entitytype, orm.facttype | Not allowed |
Profile verification
- Fact types contain at least one role field; roles link to entity/value players under exact member-endpoint restrictions.
- Uniqueness bars and mandatory dots come from declared role metadata.
- Keep subset/equality/exclusion, value lists, objectification and derivation text as distinct assertions; no general formal constraint proof or schema generation.
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": "orm.basic@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create entity/value/fact type; add ordered role fields; connect players; edit role constraints and objectification/derivation labels.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- ORM2 XMI interchange
- constraint formal verification
- model-to-schema mapping