HOOSL : 분산 멀티미디어 소프트웨어의 명세 언어

본 논문에서는 분산 멀티미디어 소프트웨어의 효율적인 명세 방법을 제안한다. 최근 매우 다양한 응용 범주와 통신망의 발달로 많은 분야에서 분산 멀티미디어 소프트웨어의 개발 요구가 발생하고 있다. 따라서 이러한 소프트웨어를 정확하고 신뢰성 있게 개발하기 위한 노력과 관심이 집중되고 있으며, 이러한 연구중의 하나가 소프트웨어의 효율적인 명세와 명세 내용의 검증 분야이다. 본 논문에서는 복잡한 대규모의 분산 소프트웨어를 체계적으로 분산하고, 명세할 수 있는 HOOSL(Hierarchical Object-Oriented Specification Language)를 제안한다. 이는 분산 소프트웨어를 계층적으로 분해하여 분석하고, 분해된 컴포넌트를 객체화함으로써 보다 효과적으로 시스템을 설계 할 수 있는 방법을 제공한다. 또한 제안된 언어는 시스템 명세의 검증을 위해 쉽게 사용할 수 있도록 비교적 정형화된 방법으로 제시되었다.