BPMN 모델의 형식화 및 분석을 위한 고차 변환 접근법

BPMN 모델의 실행 의미론을 형식화하고 행동 속성 검사를 지원하는 새로운 접근법을 제안한다.