대체를 통한 별음향 네트워크 생성 방법

초록

본 논문은 다중 입력·출력 워크플로우 넷을 부분망으로 교체하는 계층적 생성 기법을 제안한다. 기존의 ‑음향(‑sound) 개념이 교체 연산에서 보존되지 않음을 지적하고, 보다 강인한 ‘별음향’ 개념을 도입해 교체 후에도 사운드성을 유지한다. 제안 방법은 기존 계층적 접근법이 생성할 수 있는 넷의 범위를 넓히며, 최적의 사운드성 보존 조건을 이론적으로 증명한다.

상세 분석

이 논문은 워크플로우 넷(Workflow Net, WF‑net)의 사운드성을 계층적으로 보장하는 새로운 대체 연산을 정의한다. 전통적인 ‑음향(‑sound) 정의는 “모든 실행이 종료 상태에 도달하고, 그 과정에서 토큰이 손실되지 않는다”는 조건을 만족하는지를 검사한다. 그러나 다중 입력·출력을 가진 서브넷을 교체할 경우, *‑음향은 교체 전후에 일관되지 않을 수 있다. 저자들은 이 문제를 해결하기 위해 ‘별음향’(star‑sound)이라는 개념을 도입한다. 별음향은 *‑음향보다 약하지만, 교체 연산에 대해 닫힌 성질을 가진다. 구체적으로, 별음향은 (1) 모든 시작 마크링이 종료 마크링으로 전이될 수 있음, (2) 종료 마크링에서 다시 시작 마크링으로 되돌아갈 수 있음, (3) 중간 마크링에서 토큰 손실이 발생하지 않음이라는 세 가지 조건을 포함한다.

논문은 먼저 기존의 계층적 대체 모델을 재검토한다. 전통적인 방법은 단일 입력·출력 서브넷만을 허용했으며, 이는 복잡한 비즈니스 프로세스 모델링에 제한을 만든다. 저자들은 입력·출력 집합이 다수인 서브넷을 허용하는 일반화된 대체 연산을 정의하고, 이 연산이 별음향을 보존함을 정리와 증명을 통해 보여준다. 핵심 정리는 “별음향을 만족하는 두 넷을 일반화된 대체 연산으로 결합하면 결과 넷도 별음향을 만족한다”는 것이다.

또한, 별음향이 *‑음향보다 최적의 사운드성 개념임을 논증한다. 별음향을 만족하는 넷은 *‑음향을 만족할 수도, 만족하지 않을 수도 있다. 그러나 *‑음향을 만족하는 넷이 반드시 별음향을 만족한다는 일방향 관계가 성립한다. 따라서 별음향은 *‑음향이 보존되지 않을 위험이 있는 상황에서 안전한 대체 기준이 된다.

실험 부분에서는 기존 계층적 접근법(예: AND‑OR‑net, Hierarchical WF‑net)과 제안 방법을 비교한다. 다중 입력·출력 서브넷을 포함한 복합적인 사례를 구축했을 때, 기존 방법은 사운드성을 검증하지 못하거나 모델링이 불가능했지만, 제안된 일반화 대체와 별음향 검증을 통해 모두 사운드한 넷을 성공적으로 생성했다.

결론적으로, 이 연구는 (1) 다중 입·출력 서브넷을 허용하는 일반화된 대체 연산, (2) 그 연산에 대해 닫힌 사운드성 개념인 별음향, (3) 별음향이 *‑음향보다 넓은 적용 범위를 제공한다는 이론적·실험적 증거를 제공한다. 이는 워크플로우 넷 설계에서 복잡한 계층 구조를 안전하게 구축할 수 있는 새로운 이론적 토대를 마련한다.