Profile contract

epc.complete@1

Full EPC notation: epc.basic@1 alternation/connectors plus organizational units and roles (lanes via frames), information objects/documents, process-link symbols, and split/join fan-balancing validation.

graph projectionEvent-driven process chain (EPC), full

Open this profile in the gallery

Primary palette

epk.connectorepk.eventepk.functionepk.infoobjectepk.orgunitepk.processlinkepk.role

Relationship roles

epk.assignedepk.infoflowepk.linksepk.next

Legal endpoints

Relation	Source roles	Target roles	Self relation
`epk.assigned`	epk.orgunit, epk.role	epk.function, epk.orgunit, epk.role	Not allowed
`epk.infoflow`	epk.function, epk.infoobject	epk.function, epk.infoobject	Not allowed
`epk.links`	epk.processlink	epk.event, epk.function	Not allowed
`epk.next`	epk.connector, epk.event, epk.function, epk.infoobject, epk.orgunit, epk.processlink, epk.role	epk.connector, epk.event, epk.function, epk.infoobject, epk.orgunit, epk.processlink, epk.role	Not allowed

Profile verification

Events/functions alternate, with connectors mediating branches. Direct event→event and function→function are rejected.
Every connector declares and/or/xor, and nonconnectors cannot carry operator metadata. EPC symbols have labels rather than attribute compartments.
Add organization/role lanes, information objects and process links under their distinct verbs.
Operator split/join fan counts must balance under the implemented bounded check; this is not general process soundness proof.

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": "epc.complete@1"
}

Projection properties

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

Search the property codex

Design operations

Drop event/function/connector, choose connector operator, connect next edges and inspect alternation.

Bounded analysis

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

Outside this profile

process simulation
BPMN interchange
formal conformance