협업 비즈니스 프로세스 검증을 위한 목표 모델 활용

초록

본 논문은 BPMN 2.0의 인터랙션 뷰로 협업 프로세스를 모델링하고, 목표 모델링 기법으로 도출한 요구사항과의 일치성을 Savara 도구를 이용해 검증한다. 요구사항별 시나리오를 시퀀스 다이어그램으로 표현하여 검증 경로를 명시한다.

상세 분석

이 연구는 협업 비즈니스 프로세스의 정합성을 검증하기 위해 두 가지 주요 모델링 패러다임을 결합한다. 첫 번째는 BPMN 2.0 표준의 인터랙션 뷰를 활용한 프로세스 모델링이다. 인터랙션 뷰는 참여자 간 메시지 흐름에 초점을 맞추어, 복잡한 협업 시나리오에서도 메시지 교환 구조를 명확히 드러낸다. 이를 통해 프로세스 설계자는 각 파트너가 수행해야 할 작업과 그 순서를 시각적으로 파악할 수 있다. 두 번째는 목표 모델링 기법을 이용한 요구사항 추출이다. 목표 모델은 조직의 비즈니스 목표를 계층적으로 분해하고, 각 목표에 대응하는 기능적·비기능적 요구사항을 정의한다. 이렇게 도출된 요구사항은 각각 여러 시나리오(가능한 경로)로 구체화되며, 각 시나리오는 UML 시퀀스 다이어그램으로 표현된다. 시퀀스 다이어그램은 메시지 전송 순서와 타이밍을 상세히 기술하므로, BPMN 인터랙션 뷰와 직접 매핑하기에 적합하다. 검증 단계에서는 Savara 도구를 활용한다. Savara는 목표 모델과 시퀀스 다이어그램을 입력으로 받아, 프로세스 모델이 모든 요구사항 시나리오를 만족하는지 자동으로 검증한다. 검증 결과는 충족 여부와 위반 원인을 구체적인 트레이스 형태로 제공한다. 핵심 인사이트는 목표 모델을 요구사항의 공식적 표현으로 사용함으로써, 비즈니스 목표와 기술 구현 사이의 간극을 메우는 것이다. 또한, 인터랙션 뷰와 시퀀스 다이어그램을 연결함으로써, 협업 프로세스의 동적 행동을 정형화된 검증 절차에 통합한다는 점에서 기존 정적 검증 방법보다 높은 정확도와 가시성을 제공한다.