cause-effect-graph

시스템의 동작을 원인(이벤트)에서 결과(명령·새 이벤트)로 연결한 그래프 표현으로 각 노드의 입력과 출력이 명확하게 정의되어 있다. 그래프의 불연속성이나 입력이 없는 노드, 출력이 연결되지 않은 명령을 자동화된 검사로 찾아낼 수 있다. 이 그래프는 에이전트가 기계적 일관성 검사를 수행할 수 있는 형태적 불변식을 제공한다.