Schematex
epc·ARIS EPC (Scheer)·business, sap·complexity 3/3·since v0.8.0

Procurement EPC with XOR split

An ARIS event-driven process chain for purchase requisitions, branching on an XOR connector and re-joining on an AND. The engine validates EPC well-formedness — event/function alternation and the event-cannot-decide rule.

For the business-process analyst

Open in Playground →
epc·§ —
↘ preview
100%
Purchase requisition Event-driven process chain "Purchase requisition": 5 events, 4 functions, 2 connectors. 1 rule violation, 1 warning. Function "Create requisition" is followed by a function "Determine source of supply" — events and functions must strictly alternate. Insert an event between them. XOR-split "X1" reconverges at a AND-join, not a XOR-join. Mismatched split/join types can cause a deadlock; verify this is intended. Purchase requisition Material needidentified Create requisition Determine sourceof supply × Stock supplierexists New supplierneeded Issue purchaseorder Run tender process ∧ Order dispatched Supplier qualified
UTF-8 · LF · 20 lines · 476 chars✓ parsed·8.3 ms·7.6 KB SVG

What this shows

A SAP-style procurement process modelled as an ARIS event-driven process chain (EPC), the notation that strictly alternates passive events ("Material need identified") and active functions ("Create requisition"). After sourcing, an XOR connector splits the flow on a real decision — an existing stock supplier versus a new supplier needing a tender — and the two paths re-converge on an AND connector that fans back out to the dispatched order and the qualified-supplier outcome.

EPC's value here is structural validation, not a computed number. The engine checks the well-formedness rules and flags violations rather than silently drawing a broken model: event/function alternation along every path, single-in/single-out multiplicity carried by the connectors, reachability from start to end, and the event-cannot-decide signature rule — a passive event may not be the source of an XOR/OR split. That's why the decision routes through function F2 before reaching the XOR, which is the correct ARIS form.

EPC syntax →