EPC (이벤트 기반 프로세스 체인)

EPC란

**이벤트 기반 프로세스 체인(Event-driven Process Chain, EPC)**은 ARIS(Scheer, 1990년대)의 핵심 비즈니스 프로세스 표기법입니다. 이는 수동 상태를 나타내는 이벤트("주문 수신")와 능동 작업을 나타내는 함수("신용 확인")를 엄격히 교대하며, 분기와 합류에는 AND / OR / XOR 커넥터를 사용하는 제어 흐름입니다. SAP 프로세스 문서화 및 BPM에 널리 활용됩니다.

Schematex의 차별점은 구조적 검증입니다. 엔진은 수치를 계산하지 않습니다(pert나 faulttree와 달리). 대신 EPC 정합성 규칙인 이벤트/함수 교대, 이벤트-결정 불가 시그니처 규칙, 입출력 단일성, 도달 가능성을 검사하고, 위반 사항을 AI가 읽기 쉬운 메시지로 강조 표시합니다. 잘못된 모델을 조용히 그리는 대신 명확히 알려줍니다.

1. 첫 번째 EPC 만들기

epc 키워드로 시작하고, 선택적 제목을 붙인 뒤, id로 노드를 선언하고 화살표로 연결합니다.

epc "Order fulfilment"
  event E1 "Order received"
  function F1 "Check credit"
  event E2 "Credit OK"
  E1 -> F1 -> E2

노드는 id와 선택적 따옴표 라벨을 가지며, 화살표는 id를 참조합니다. 정규 형식은 커넥터를 노드로 선언하고(xor X1), id로 모든 것을 연결합니다. 이는 ARIS가 EPC를 저장하는 방식에 가장 가깝습니다.

2. 노드 종류

event E1 "Order received"     # 수동 상태 (둥근 육각형)
function F1 "Check credit"    # 능동 작업 (둥근 직사각형); 별칭: func
func F2 "Send invoice"        # `func`는 `function`의 약어
and  A1                       # AND 커넥터 (∧)
or   O1                       # OR 커넥터 (∨)
xor  X1                       # 배타적 OR 커넥터 (×)

커넥터는 들어오고 나가는 호에 따라 분기 또는 합류 방향으로 동작하므로, 동일한 글리프가 양쪽 역할을 합니다. 커넥터 라벨은 선택 사항입니다.

3. 제어 흐름 연결

E1 -> F1 -> X1        # 체인은 쌍별 호 E1→F1, F1→X1의 축약 표현입니다
X1 -> E2              # 커넥터가 두 분기로 분할됩니다
X1 -> E3
F2 -> E2 : sent       # 단일 호에 ': label'을 붙일 수 있습니다

• -> 체인은 쌍별 간선으로 확장됩니다.
• 뒤에 붙는 **: label**은 단일 호에 주석을 답니다.
• 아직 선언되지 않은 화살표 끝점은 자동 생성됩니다(검증기가 표시). 빠르게 초안을 작성하고 나중에 정리할 수 있습니다.

epc "Procure-to-pay"
  layout: tb
  event E1 "Need identified"
  function F1 "Create PO"
  and A1
  function F2 "Notify supplier"
  function F3 "Update budget"
  E1 -> F1 -> A1
  A1 -> F2
  A1 -> F3

layout: tb는 체인을 위에서 아래로 배치합니다(기본값도 수직 방향에 적합).

4. 계산된 정합성 검증

이것이 차별점입니다. 엔진은 다음을 검증합니다(예외를 던지는 대신 표시만 합니다):

1. 이분 교대 — 이벤트와 함수는 어떤 경로에서도 엄격히 교대합니다. 커넥터는 이를 깨뜨리지 않습니다.
2. 시작/끝은 이벤트여야 함 — 함수는 시작 또는 끝 노드가 될 수 없습니다.
3. 시그니처 규칙 — 이벤트는 OR/XOR 분기의 출처가 될 수 없습니다(수동 이벤트는 결정할 수 없음). 이벤트 뒤의 AND 분기는 허용됩니다.
4. 분기/합류 균형 — T 유형의 분기는 T 유형의 합류로 닫혀야 합니다. 불일치는 경고입니다(실제 EPC는 종종 불균형할 수 있음).
5. 이벤트와 함수당 단일 입출력 — 커넥터가 다중성을 담당합니다.
6. 도달 가능성 — 모든 노드는 시작점에서 도달 가능하고 끝점에 도달해야 합니다.

위반 노드는 data-* 플래그로 강조 표시되며, 다이어그램은 계속 렌더링됩니다.

5. 흔한 실수

# 잘못됨 — 유효하지 않은 id (문자로 시작해야 함)
event 9bad

# 피해야 함 — 노드 재선언 (첫 번째가 적용되고 경고가 발생함)
event E1 "first"
event E1 "second"

id는 문자로 시작해야 합니다. 재선언된 노드는 첫 번째 정의를 유지하고 경고를 발생시킵니다. 이벤트→XOR/OR 분기가 표시되므로, 함수를 통해 결정을 내리고 그 뒤에 분기하도록 경로를 설정하십시오.

6. 표준 준수

표기법과 규칙은 ARIS EPC 관례(Scheer), van der Aalst (1999), 그리고 Mendling (2008)을 따릅니다: 육각형 이벤트, 둥근 직사각형 함수, ∧/∨/× 커넥터, 이벤트-결정 불가 시그니처 제약.

7. 로드맵

미구현 항목: 프로세스 인터페이스(오프 페이지) 노드, 조직 단위/데이터 객체 레인(eEPC), 분기/합류 자동 수정 제안.