형식적 프레임워크
논리학이나 수학적 기호를 사용하여 개념과 관계를 엄밀하게 정의한 체계이다. 서로 다른 학문 배경을 가진 연구자들이 모호함 없이 소통하고 시스템의 동작을 검증할 수 있게 돕는 공통 언어 역할을 한다.