이기종 모델링 시나리오에서 행동적 모델의 일관성을 달성하기 위한 방법론을 제안한다. 이를 위해 모델 간 관계를 정의하고, 행동적 형식론으로 변환하여 전체 시스템의 행동적 일관성을 검증한다.