비즈니스 프로세스 관리 (Business Process Management, BPM)는 비즈니스 프로세스의 체계적인 설계, 실행, 모니터링 및 개선을 다룹니다. 형식 문법 (Formal grammars)은 BPM을 위한 특히 결실 있는 형식주의 (formalism)로 등장하였으며, 프로세스 중심의 관심사에 독보적으로 적합한 생성적 (generative), 선언적 (declarative) 및 분석적 (analytical) 역량을 제공합니다. 본 논문은 형식 문법과 BPM의 교차점에 있는 34개의 주요 연구에 대한 체계적 문헌 고찰 (systematic literature review)을 제시합니다. 우리는 일곱 가지 연구 흐름을 식별하였습니다: (i) 조직 프로세스 설계를 위한 프로세스 문법 (process grammars); (ii) Bunge-Wand-Weber 존재론적 프레임워크 (ontological framework) 하에서 문법으로서 평가된 프로세스 모델링 언어 (process modeling languages); (iii) 프로세스 구조 사양 및 변형 관리를 위한 생산 규칙 문법 (production-rule grammars); (iv) 워크플로우의 선언적 사양 및 분산 실행을 위한 속성 문법 (attribute grammars); (v) 프로세스 모델의 변환, 생성 및 의미론적 분석을 위한 그래프 문법 (graph grammars); (vi) 프로세스 마이닝 (process mining) 및 발견 (discovery)을 위한 문법 추론 (grammatical inference); 그리고 (vii) 행동 사양 및 검증을 위한 문법 유사 구성 프레임워크로서의 프로세스 대수 (process algebras). 각 흐름에 대해 기여도, 채택된 형식주의 및 한계점을 종합하였습니다. 본 검토 결과, 형식 문법은 모든 라이프사이클 단계(조직 설계부터 형식 검증 및 데이터 기반 발견에 이르기까지)에 걸쳐 BPM에 영향을 미쳤으나, 일곱 가지 흐름은 흐름 간의 통합 없이 대체로 병렬적으로 발전해 왔음을 보여줍니다. 우리는 코퍼스 기반 (corpus-grounded)의 다섯 가지 공개된 과제를 식별하였으며, 문법 이론의 더 깊고 통합된 활용이 BPM의 최첨단 기술을 발전시키는 데 상당한 가능성을 지니고 있다고 주장합니다.