Profile contract

idef0.basic@1

IDEF0 (IEEE 1320.1) function modeling: activity boxes with side-typed ICOM ports (Inputs left, Controls top, Outputs right, Mechanisms bottom), A-0 context and decomposition node numbering, labeled flow arrows with fork/join, tunneled arrows (x_tunnel), and call arrows (idef0.call).

graph projectionIDEF0 function model

Open this profile in the gallery

Primary palette

idef0.activity

Relationship roles

idef0.callidef0.flow

Legal endpoints

Relation	Source roles	Target roles	Self relation
`idef0.call`	idef0.activity	idef0.activity	Not allowed
`idef0.flow`	idef0.activity	idef0.activity	Not allowed

Profile verification

ICOM port type matches side: input left, control top, output right, mechanism bottom.
Declared A-number node codes are unique and decomposition-prefixed. Preserve current schema ^A[0-9]+$; the display label A-0 does not silently widen that schema.
Flow/call arrows retain forks, joins and explicit tunneled-end markers.

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": "idef0.basic@1"
}

Projection properties

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

Search the property codex

Design operations

Create activity; add ICOM ports on their matching sides; connect labelled flow/call; edit node number and tunnel markers.

Bounded analysis

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

Outside this profile

IDEF0 interchange formats
model execution/simulation
formal IEEE certification