비즈니스 프로세스 모델링과 BDD를 잇는 새로운 다리: FSM 기반 접근

초록

본 논문은 기업 정보 시스템 개발에서 비즈니스 프로세스 모델링(BPM)과 행동 기반 개발(BDD)을 연결하기 위해 UML 상태도(Statechart)를 활용한 유한 상태 머신(FSM) 모델을 제안한다. 기존 MDD 방식의 한계를 짚고, FSM을 통해 프로세스 흐름을 정형화하고 이를 BDD 시나리오와 자동 테스트에 매핑함으로써 요구사항 검증과 품질 향상을 목표한다. 또한 다양한 BPM 표기법과 BDD 간 매핑 가능성을 논의한다.

상세 분석

이 논문은 기업 정보 시스템(EIS) 개발 현장에서 흔히 발생하는 요구사항 추출·검증 단절을 해소하고자, 비즈니스 프로세스 모델링(BPM)과 행동 기반 개발(BDD) 사이의 연결 고리를 탐색한다. 기존 연구들은 모델 주도 개발(MDD) 패러다임을 통해 BPM 결과물을 코드 생성에 활용했지만, 자동화된 검증 메커니즘이 부족해 품질 보증에 한계가 있었다. 저자는 이러한 문제점을 ‘모델·코드·테스트’ 삼각형이 맞물리지 않는 구조적 결함으로 규정하고, 이를 해결하기 위한 핵심 아이디어로 유한 상태 머신(FSM)을 도입한다. FSM은 프로세스 단계와 전이 조건을 명확히 정의함으로써, 상태 전이마다 “Given‑When‑Then” 형태의 BDD 시나리오를 자연스럽게 매핑할 수 있다. 특히 UML 상태도(Statechart)를 선택한 이유는 시각적 표현력과 표준화된 메타모델을 제공해 기존 BPM 도구와의 연동이 용이하기 때문이다. 논문은 먼저 BPM 표기법(예: BPMN, EPC, Petri Net 등)의 다형성을 지적하고, 표준화 부재가 BDD와의 직접 매핑을 방해한다는 점을 강조한다. 이어서 FSM 기반 모델링이 제공하는 이점—명시적 상태·전이 정의, 이벤트‑조건‑액션 구조, 계층적 상태 구성—을 상세히 설명하고, 이를 BDD 테스트 자동화 프레임워크(North 2006)의 스텝과 일치시키는 매핑 규칙을 제시한다. 매핑 규칙은 (1) 상태 = BDD 시나리오의 “Given”, (2) 전이 이벤트 = “When”, (3) 전이 결과 액션 = “Then”으로 정의된다. 이러한 규칙을 통해 비즈니스 프로세스 설계자는 모델링 단계에서 바로 검증 가능한 테스트 시나리오를 생성할 수 있다. 논문은 또한 모델 변형(예: 상태 추가·삭제) 시 자동으로 BDD 시나리오가 갱신되는 ‘양방향 동기화’ 메커니즘을 구상하고, 이를 구현하기 위한 도구 체인(모델링 툴 → FSM 변환 엔진 → BDD 스크립트 생성기) 설계 방향을 제시한다. 마지막으로, 제안된 접근법을 적용한 파일럿 사례를 통해 요구사항 누락 감소와 테스트 커버리지 향상을 실증적으로 보여준다. 전체적으로 이 연구는 BPM과 BDD 사이의 기술적·방법론적 격차를 FSM이라는 형식 언어를 매개로 메우고, 기업 정보 시스템 개발 프로세스의 품질 보증을 체계화하려는 시도로 평가된다.