💻 computer science

Formal Grammars in Business Process Management: A Systematic Literature Review

본 논문은 형식 문법과 비즈니스 프로세스 관리(BPM)의 교차점에서 나타나는 7개의 뚜렷한 연구 흐름을 식별하는 34편의 문헌에 대한 체계적 문헌 고찰을 제시하며, 이들이 BPM 생애주기 전반에 걸쳐 미치는 포괄적인 영향력을 강조하는 동시에 연구 흐름 간의 종합적 결합이 부족함을 지적하고 문법 이론의 통합적 활용을 위한 향후 방향을 제안한다.

원저자: Milliam Maxime Zekeng Ndadji

게시일 2026-06-29

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Milliam Maxime Zekeng Ndadji

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 복잡한 비즈니스가 어떻게 돌아가는지 설명하려고 한다고 상상해 보세요. 예를 들어 빵집, 병원, 또는 은행 같은 곳 말이죠. 그곳에는 업무를 수행하는 사람들, 정보를 전달하는 과정, 의사결정, 그리고 규칙을 따르는 절차들이 있습니다. 이제, 컴퓨터가 혼란 없이 이 모든 것을 실행할 수 있도록 아주 정밀한 지침 세트를 작성한다고 상상해 보십시오.

이 논문은 "체계적 문헌 고찰(systematic literature review)"에 관한 글입니다. 이는 멋진 표현이지만, 쉽게 말해 저자인 밀리암 막심 제켄 은다지(Milliam Maxime Zekeng Ndadji)가 거대한 보물 찾기를 떠났다는 뜻입니다. 그는 과학자들이 **형식 문법(Formal Grammars)**을 사용하여 비즈니스 문제를 해결해 온 모든 방법들을 찾아내기 위해 수백 편의 연구 논문을 조사했습니다.

다음은 그가 발견한 내용을 일상적인 비유를 사용하여 쉽게 풀어낸 내용입니다.

"형식 문법"이란 무엇인가?

형식 문법을 학교에서 배우는 영어 문법이 아니라, 이야기를 만들어내기 위한 레시피 북이라고 생각하십시오.

일반적인 레시피에는 재료(밀가루, 달걀)와 단계(섞기, 굽기)가 있습니다.
문법에는 "규칙"이 있으며, 이 규칙은 기본적인 구성 요소들을 어떻게 결합하여 무한히 유효한 문장, 즉 여기서는 무한히 유효한 비즈니스 프로세스를 만들어낼 수 있는지 알려줍니다.
문법이 언어에서 가능한 모든 문장을 생성할 수 있는 것처럼, "프로세스 문법"은 비즈니스 업무가 수행될 수 있는 모든 가능한 방식을 생성할 수 있습니다.

핵심 발견: 일곱 가지의 서로 다른 "학파"

저자는 34개의 중요한 연구를 발견하였고, 이를 일곱 가지의 뚜렷한 연구 흐름으로 분류했습니다. 이를 서로 다른 설계도와 도구를 사용하여 동일한 건물(비즈니스 프로세스)을 설계하려는 일곱 팀의 건축가라고 상상해 보십시오.

1. "조직의 시인들" (Stream I)

아이디어: 이 연구자들은 비즈니스 루틴을 하나의 언어처럼 다룹니다. 그들은 사람들이 문장으로 말하는 것처럼, 조직도 행동의 패턴으로 "말한다"고 믿습니다.
비유: 무용단을 상상해 보세요. 모든 동작을 하나하나 적는 대신, 몇 가지 기본 동작과 그것들을 조합하는 규칙을 정의합니다. 이를 통해 모든 개별적인 대본을 쓰지 않고도 무한한 춤의 루틴을 설명할 수 있습니다.
하는 일: 이들은 이러한 규칙을 사용하여 새로운 작업 방식을 설계하거나, 조직의 "춤"을 관찰함으로써 회사가 실제로 어떻게 작동하고 있는지 파악합니다.

2. "문법 경찰" (Stream II)

아이디어: 이 팀은 비즈니스가 사용하는 표준 언어(예: 프로세스를 그리는 언어인 BPMN)를 살펴보고, 이것이 현실에 대한 깊은 철학적 규칙에 따라 "문법적으로 올바른지"를 확인합니다.
비유: 학생의 에세이를 채점하는 언어 교사를 상명해 보세요. 그들은 단순히 철자를 확인하는 것이 아니라, 학생이 실제 세계의 객체를 설명하기 위해 적절한 단어를 사용했는지 확인합니다. 이들은 인기 있는 비즈니스 드로잉 도구들이 단어가 부족하거나, 하나의 단어를 두 가지 다른 의미로 사용하여 혼란을 야기한다는 점을 발견했습니다.

3. "구조적 건축가들" (Stream III)

아이디어: 이 연구자들은 프로세스의 뼈대에 집중합니다. 그들은 내부에서 어떤 일이 일어나는지 걱정하기 전에 구조가 유효한지를 먼저 확인하고자 합니다.
비유: 집을 짓는 과정을 생각해보세요. 페인트를 칠하거나 가구를 들여놓기 전에, 벽이 제대로 서 있고 지붕이 뒤집혀 있지 않은지 확인해야 합니다. 이들은 "프로세스 하우스"가 무너지지 않도록 엄격한 규칙을 사용합니다. 또한, 한 가족을 위해 차고가 있는 집을 짓고 다른 가족을 위해 수영장이 있는 집을 짓는 것과 같은 "변형(variants)"을 관리하는 데 도움을 줍니다.

4. "데이터 및 역할 통합가들" (Stream IV)

아이디어: 전통적인 프로세스 맵은 무엇이 일어나는지는 보여주지만, 누가 그것을 하는지, 그리고 어떤 데이터를 사용하는지는 종종 잊어버립니다. 이 팀은 규칙에 "속성(attributes/태그)"을 추가합니다.
비유: 체스 게임을 상상해 보세요. 규칙은 말의 움직임(구조)을 알려줍니다. 하지만 이 연구자들은 "퀸만이 이곳으로 이동할 수 있고, 50점의 에너지를 가지고 있을 때만 이동할 수 있다"와 같은 레이어를 추가합니다. 이들은 움직임의 규칙과 플레이어의 정체성, 그리고 그들이 가진 데이터를 결합하여 복잡하고 분산된 팀워크를 가능하게 합니다.

5. "모양 변환자들" (Stream V)

아이디어: 비즈니스 프로세스는 종종 그림(그래프)으로 그려집니다. 이 팀은 "그래프 문법(Graph Grammars)"을 사용하여 하나의 그림을 다른 그림으로 자동 변환합니다.
비유: 당신이 크레파스로 그린 집 스케치가 있다고 상상해 보세요. 당신은 이 스케치를 비디오 게임을 위한 3D 모델로 바꾸고 싶습니다. 이 연구자들은 크레파스 그림을 가져와서 창문과 문이 완벽하게 정렬된 3D 모델로 즉시 재구축하는 마법 같은 기계(그래프 문법)를 가지고 있습니다. 또한, 이들은 자신들의 소프트웨어가 제대로 작동하는지 확인하기 위해 가상의 "테스트용 집"을 만드는 데 이 기술을 사용합니다.

6. "탐정들" (Stream VI)

아이디어: 규칙을 먼저 쓰는 대신, 이 연구자들은 "범죄 현장"(실제로 일어난 데이터 로그)을 조사하여 규칙을 역설계(reverse-engineer)합니다.
비유: 탐정이 영수증 더미를 발견하고 비밀 소스의 레시피를 알아내려고 노력하는 상황을 상상해 보세요. 그들은 데이터 속의 패턴을 보고 그 패턴을 만들어낸 문법을 추측합니다. 이는 기업이 실제로 무엇을 하고 있는지(생각하는 방식이 아닌 실제 모습)를 발견하는 데 도움을 줍니다.

7. "논리 철학자들" (Stream VII)

아이디어: 이 작은 그룹은 고급 수학(프로세스 대수/Process Algebras)을 사용하여 프로세스가 멈추거나 실수를 저지르지 않을 것임을 증명합니다.
비유: 교통 신호 시스템을 상상해 보세요. 이 연구자들은 단순히 신호등을 만드는 것이 아니라, 교통 흐름이 어떻게 변하더라도 두 대의 차량이 교차로에서 절대 충돌하지 않을 것임을 복잡한 수학을 통해 100% 확신하며 증명합니다. 이들은 비즈니스 프로세스를 완벽하게 균형을 이루어야 하는 수학 방정식처럼 다룹니다.

주요 문제점: 모두가 각자 따로 놀고 있다

이 논문의 가장 중요한 발견은 이 일곱 팀이 서로 대화하지 않고 있다는 점입니다.

"시인들"(Stream I)은 "탐정들"(Stream VI)과 대화하지 않습니다.
"모양 변환자들"(Stream V)은 "논리 철학자들"(Stream VII)과 대화하지 않습니다.

그들은 모두 동일한 문제의 각기 다른 부분을 해결하기 위해 서로 다른 도구를 사용하고 있지만, 이 모든 것을 아우르는 단일하고 통합된 시스템을 구축하지 못했습니다.

미래의 과제

저자는 비즈니스 프로세스 관리의 미래가 이 일곱 가지 흐름을 연결하는 것에 있다고 주장합니다.

다음과 같은 슈퍼 도구를 상상해 보십시오:

당신이 "시인"의 창의적인 규칙을 사용하여 프로세스를 설계합니다.
"건축가"가 구조를 검사합니다.
"통합가"가 데이터와 사람을 추가합니다.
"모양 변환자"가 이를 컴퓨터 프로그램으로 변환합니다.
"철학자"가 이것이 오류를 일으키지 않을 것임을 증명합니다.
"탐정"이 실행 과정을 지켜보며 상황이 변할 때마다 규칙을 자동으로 업데이트합니다.

이 논문은 우리에게 각각의 조각들은 모두 있지만, 그 조각들을 하나로 묶는 기계를 아직 만들지 못했다는 결론을 내립니다. 목표는 비즈니스 프로세스의 설계, 실행, 개선을 한 번에 처리할 수 있는 통합된 "문법 이론"을 만드는 것입니다.

기술 요약: 비즈니스 프로세스 관리에서의 형식 문법: 체계적 문헌 고찰

문제 정의
비즈니스 프로세스 관리(BPM)는 업무가 수행되는 방식에 대한 도메인 전문가의 비형식적 지식과, 해당 업무를 자동화, 검증 및 최적화하는 데 필요한 형식적 명세 사이의 간극을 메워야 하는 근본적인 과제에 직면해 있다. 문자열, 트리, 그래프 재작성 이론에 의해 도입되고 풍부해진 촘스키(Chomsky)의 형식 문법은 구조화된 엔티티를 기술하기 위한 강력한 수학적 도구를 제공하지만, BPM에서의 구체적인 역할에 관한 포괄적인 조사는 존재하지 않는다. 기존의 조사들은 문법을 단순한 도구 중 하나로 취급할 뿐, 연구의 중심 대상으로 다루지 않으며, BPM 라이프사이클 전반에 걸친 문법적 접근 방식의 체계적인 비교 또한 부재하다. 본 논문은 BPM과 형식 문법 이론의 교차점을 조사하여 문법적 형식론이 어떻게 적용되어 왔는지, 그 한계는 무엇인지, 그리고 향후 연구가 필요한 분야는 어디인지를 규명함으로써 이 격차를 해결하고자 한다.

연구 방법론
본 논문은 소프트웨어 공학 연구를 위한 Kitchenham과 Charters의 프로토콜을 채택한 체계적 문헌 고찰(SLR) 방식을 사용한다.

검색 전략: 2026년 2월, 6개의 전자 데이터베이스(ACM Digital Library, IEEE Xplore, SpringerLink, ScienceDirect, Scopus, Google Scholar)를 대상으로 BPM 용어와 결합된 "formal grammar", "process grammar", "graph grammar", "attribute grammar", "grammatical inference"를 타겟팅하는 불리언(Boolean) 검색식을 사용하여 쿼리를 수행하였다.
선택 기준: 초기 526개의 레코드 중, 다음 두 가지 포함 기준(IC)을 바탕으로 34개의 주요 연구를 선정하였다: (IC1) 논문이 적어도 하나의 문법 기반 형식론(문자열, 속성, 그래프 문법, 문법 추론 또는 귀납적 문법으로서의 프로세스 대수 포함)을 제안, 적용 또는 형식적으로 근거를 제시해야 함; (IC2) 기여 내용이 BPM 라이프사이클의 적어도 한 단계(설계, 구성, 실행, 평가 또는 적응)를 다루어야 함.
분류: 34개의 연구는 사용된 문법 형식론과 주요 BPM 관심사에 따라 7개의 별도 연구 스트림으로 분류되었다. 본 검토는 1990년대 중반부터 2020년대 중반까지의 저작물을 다룬다.

주요 기여 및 결과
본 검토는 7개의 뚜ack별 연구 스트림을 식별하고 합성하며, 형식 문법이 BPM 라이프사이클의 모든 단계에 영향을 미쳤음을 밝혀냈다. 다만, 이러한 스트림들은 대체로 병렬적으로 발전해 왔다.

스트림 I: 조직 프로세스 설계를 위한 프로세스 문법.
- 초점: 조직의 루틴을 생성 시스템(움직임의 어휘, 재작성 규칙, 제약 조건)으로 모델링하기 위해 문법적 은유를 사용한다.
- 기여: 조직 행동을 이해하기 위한 프레임워크를 제공하고, 설계 대안을 생성하며, 관찰로부터 프로세스 발견을 자동화한다.
- 한계: 형식론이 촘스키 계층 구조에 비해 여전히 비형식적이며, 검증이 소규모 사례 연구에 의존한다.
스트림 II: 문법으로서의 프로세스 모델링 언어.
- 초점: Bunge-Wand-Weber(BWW) 온톨로지 프레임워크를 사용하여 모델링 언어(예: BPMN)를 "모델링 문법"으로 평가한다.
- 기여: 모델링 언어의 표현 적절성을 경험적으로 평가하기 위한 방법론적 템플릿을 확립하고, 구성 요소의 결핍, 과부하 및 중복을 식별한다.
- 한계: 특정 연구 그룹에 의해 주도되고 있어 독립적인 기여자의 폭이 제한적이다.
스트림 III: 프로세스 구조 명세 및 변형 관리를 위한 생산 규칙 문법.
- 초점: 구조적으로 유효한 프로세스 명세 공간을 정의하기 위해 문맥 자유(CFG), 문맥 민감(CSG) 및 특징(feature) 문법을 사용한다.
- 기여: 구조적 유효성, 프로세스 변형 합성, 자연어로부터의 선언적 제약 추출 문제를 다룬다.
- 한계: 데드락 프리(deadlock-freedom)와 같은 동작적 특성보다는 구조적 구문에 집중한다.
스트림 IV: 워크플로 명세 및 실행을 위한 속성 문법.
- 초점: 속성 문법(예: Guarded Attribute Grammars, LSAWfP)을 사용하여 제어 흐름, 데이터 및 조직적 역할을 단일 형식 객체 내에 통합한다.
- 기여: 데이터와 이해관계자의 결정에 따라 케이스 구조가 결정되는 데이터 집약적이고 분산된 워크플로를 명세하기 위한 통합 메커니즘을 제공한다.
- 한계: 동작적 특성의 검증이 주로 비재귀적이고 구조화된 워크플로에 국한되며, 산업 규모로의 확장성은 입증되지 않았다.
스트림 V: 프로세스 모델 변환 및 분석을 위한 그래프 문법.
- 초점: 모델 간의 변환(예: BPMN에서 BPEL로)과 구조적 특성 분석을 위해 그래프 재작성(예: Triple Graph Grammars, Hyperedge Replacement Grammars)을 적용한다.
- 기여: 양방향 변환, 합성 벤치마크 데이터셋 생성, BPMN의 형식적 운용 의미론 도출을 가능하게 한다.
- 한계: BPMN 2.0 표준 전체를 커버하면서 형식적 검증 보장을 제공하는 단일 프레임워크가 없으며, 도구의 성숙도는 일반적으로 프로토타입 수준에 머물러 있다.
스트림 VI: 프로세스 마이닝을 위한 문법 추론.
- 초점: 이벤트 로그로부터 프로세스 모델을 발견하기 위해 문법 추론 알고리즘(예: region theory, probabilistic CFGs, ALERGIA)을 사용한다.
- 기여: 경험적 데이터와 선언적 모델 사이의 원칙적인 가교를 제공하여 예측적 모니터링과 적합성 검사를 지원한다.
- 한계: 깨끗하고 완전한 이벤트 로그를 가정하며, 노이즈, 누락된 이벤트 또는 개념 드리프트(concept drift)에 대한 형식적 처리가 부족하다.
스트림 VII: 문법 유사 구성적 프레임워크로서의 프로세스 대수.
- 초점: 행동 명세 및 검증을 위한 문법적 프레임워크로서 프로세스 대수(특히 $\pi$ -calculus)를 사용한다.
- 기여: 워크플로 패턴과 산업용 언어(WS-BPEL)에 대한 구성적 운용 의미론을 제공하여 비시뮬레이션(bisimulation) 기반 검증을 가능하게 한다.
- 한계: 범위가 좁고( $\pi$ -calculus에 한정됨), 인코딩이 수동으로 제작되며, 일반적인 경우 많은 동작적 특성이 결정 불가능(undecidable)하다.

의의 및 향후 과제
본 논문은 형식 문법이 지난 30년 동안 BPM 전반에서 생산적인 개념적 및 기술적 도구 역할을 해왔다고 주장한다. 그러나 핵심적인 발견은 이 7개의 스트림이 상호 간의 종합 없이 대체로 병렬적으로 발전해 왔다는 점이다. 어떤 주요 연구도 두 개 이상의 스트림으로부터의 기여를 종합하지 않았다.

논문은 다섯 가지의 코퍼스 기반(corpus-grounded) 과제를 식별하였다:

통합 이론: 구조적 명세(스트림 IV), 변환(스트림 V), 동작적 의미론(스트림 VII), 그리고 귀납적 발견(스트림 VI)을 연결하는 통합된 문법 이론의 부재.
형식 검증: 재귀적 또는 속성 문법 기반 모델에서의 건전성(soundness) 및 데드락 프리(deadlock-freedom)에 대한 일반적인 결정 절차의 부족.
의미론의 통합: 프로세스 대수적 인코딩과 속성 문법 명세 및 그래프 변환을 연결할 필요성.
확장성: 산업 현장 배치 및 대규모 실제 이벤트 로그(수백만 개의 트레이스)에 대한 평가 부족.
변이 관리: 규제 또는 조직적 변화에 대응하여 문법 기반 프로세스 패밀리의 동적 진화를 관리하는 메커니즘의 부재.

저자들은 문법 이론의 더 깊고 통합된 활용이 BPM의 기술적 수준을 높이는 데 상당한 유망함을 가지고 있다고 주장하며, 핵심적인 미해결 과제는 프로세스를 명세, 변환, 검증 및 발견할 수 있는 일관된 문법적 기질(grammatical substrate)을 갖춘 프레임워크를 구축하는 것이라고 제언한다.

"형식 문법"이란 무엇인가?

핵심 발견: 일곱 가지의 서로 다른 "학파"

주요 문제점: 모두가 각자 따로 놀고 있다

미래의 과제

기술 요약: 비즈니스 프로세스 관리에서의 형식 문법: 체계적 문헌 고찰

유사한 논문