Phases

Steps

List Phase

(manual)

LFAs

Accounting, Purchasing, Warehouse

LACs

Accounting

Verify invoice, Payment

Purchasing

Create and send purchase order

Warehouse

Determine source of supply Create purchase requisition, Receive

materials, and Select vendor

LBRs

Accounting

None

Purchasing

None

Warehouse

OR (Is the vendor available?): available, not available

LEVs

Accounting

End event

Purchasing

None

Warehouse

Start event

Order/workflow Phase (manual)

Order FAs

Warehouse (FA1), Purchasing (FA2), Accounting (FA3)

Order ACs

Warehouse-FA1

Create purchase requisition (FA1.AC1), Determine source of

Supply (FA1.AC2), Select vendor (FA1.AC3), Receive

Materials (FA1.AC4)

Purchasing-FA2

Create and send purchase order (FA2.AC1)

Accounting-FA3

Verify invoice (FA3.AC1), Payment (FA3.AC2)

Order BRs

Warehouse-FA1

OR (Is the vendor available?); Before: FA1.AC2; After: FA1.AC1.

States: available: FA1.AC3, not available: FA2. AC1.

Purchasing-FA2

None

Accounting-FA3

None

Order EVs

Warehouse-FA1

Start Event, Before: Determine source of supply (FA1.AC2)

Purchasing-FA2

None

Accounting-FA3

End Event, After: Payment (FA3.AC2)

Link the FAs

Warehouse-FA1

Type of outgoing: AC; outgoing AC list: FA1.AC3; type of Incoming element: AC; Incoming AC list: FA2.AC1

Purchasing-FA2

1) Type of outgoing: AC; outgoing AC list: FA2.AC1; type of Incoming element: AC; Incoming AC list: FA1.AC4.

2) Type of outgoing: AC; outgoing AC list: FA2.AC1; type of Incoming element: AC; Incoming AC list: FA3.AC1

Accounting-FA3

None

Refinement Phase (automated)

Refinement Steps

Refinement Sub-Steps

List Phase Refinement (LPR)

FA List Refinement (FALR)

Based on vendor terminology, 7PMG, and SIQ Framework

Activities List Refinement (ACLR)

Business Rules List Refinement (BRLR)

Event List Refinement (EVLR)

Order Phase Refinement (OPR)

FA Ord. Refinement (FAOR)

Based on SEQUL framework, BPMN styles & methods, GOM, SIQ framework

Activities Ord. Refinement (ACOR)

Business Rules Ord. Refinement (BROR)

Event Ord. Refinement (EVOR)

Workflow Ord. Refinement (WFOR)