적합성 및 상호운용성 문제에의 응용을 위한 통신 시스템 모델링 언어

이 논문에서는, 통신시스템 모델링하기 위한 형식언어를 개발한다. 이 언어를 사용하여, 구현의 올바름에 관련된 핵심개념들인 적합성관계와 상호운용성관계의 형식적 정의를 내린다. 이 정의에 기초하여, 적합성과 상호운용성사이의 근본적인 관계를 기술하고 증명한다.