요구 명세의 검증은 분석이 올바르게 수행되었다는 것을 보증해 주는 중요한 단계이다. 특히, 객체 지향 소프트웨어 개발 주기의 설계 단계 이전에 소프트웨어 시스템의 동적인 행위는 검증되어야 한다. 그래서, 본 논문에서는, 객체 지향 요구 명세에서의 동적 행위에 대한 검증 방법을 제안한다.
제안된 검증 방법의 첫 번째 절차에서는, 객체 지향 요구 명세를 구성하고 있는 객체와 동적 모델을 수정 객체 모델과 수정 동적 모델로 변환한다. 그리고 두 번째 절차에서는, 수정 객체와 동적 모델을 정형 요구명세로 변환한다. 세 번째로서, 정형 요구 명세는 소프트웨어 시스템의 정적인 구조와 전체 시스템에 대한 동적인 면을 포함하는 확장 정보 트리로 변환한다. 마지막으로, 객체 지향 요구 명세의 동적인 행위는 확장정보 트리를 사용하여 검증한다.
본 연구에서 제안된 확장 정보 트리는 그래픽 표기법으로서 객체 지향 요구 명세의 정적인 구조와 동적인 행위를 표현할 수 있다. 그 트리는 객체 지향 요구 명세로부터 체계적으로 구축될 수 있고 동적 행위의 검증에 사용되어진다.