AFOORSL : 객체 지향 시스템을 위한 정형적 요구 사항 명세 언어

객체 지향 정보 시스템을 개발하기 위하여 여러 가지 방법론들이 제안되었다. 하지만 이러한 방법론들은 비정형적(informal)이며 논리적ㆍ수학적 근거가 없기 때문에, 각 단계에서 개발된 모델의 일관성을 검사하고 모호성을 제거하기 위한 적절한 방법을 제시하지 못하고 있다. 현재, 시스템을 개발하는데 있어서 초기 단계에서 수행되는 사용자 요구 사항 명세서 작성에 대한 중요성이 점점 커지고 있다. 본 논문에서는, 사용자 요구 사항 명세서 작성을 위한 정형적(formal)인 명세 언어(specification language)인 AFOORSL(A Formal Object Oriented Requirement Specification Language)을 제안하고, refinement에 기초한 프로세스 모델을 제시한다. 제안된 정형적 명세 언어는 객체들의 행동을 정의하기 위하여 trace model을 사용하였으며, 객체 지향 시스템을 직관적이고 일관성 있게 모델링한다.