Profile contract
epc.basic@1
Events and functions strictly alternating through and/or/xor connectors; control flow via epk.next.
graph projectionEvent-driven process chain (EPC)
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
epk.next | epk.connector, epk.event, epk.function | epk.connector, epk.event, epk.function | 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.
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.basic@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
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
- connector fan-in/fan-out balancing rules