This thesis presents an experimental requirements analysis tool which features the main capabilities of automated tools and conceptual modeling ideas of the Structured Analysis(SA). Our system, Specification Language for Structured Analysis(SLSA)/Specification Processor(SP), adopts two layered schemes for formal representation of software requirements. The first layer is the step that constructs a conceptual model for a target system. For that purpose, a language(SLSA) based on the Entity-Realtionship approach has been designed. For methodological guidance, SLSA is linked to Structured Analysis(SA). The second layer is the step that constructs a database which stores the requirements expressed in SLSA. Prolog is used for this purpose.
본 논문은 소프트웨어 공학중에서도 소프트웨어의 요구분석을 위한 도구의 개발에 관한 연구이다. 이 도구는 기존의 자동화된 도구인 PSL/PSA의 주요기능을 포함하면서도 구조적분석(Structured Analysis) 방법을 이용하여 개념적 모형화를 할 수 있도록 설계되었다.
이 도구(SLSA/SP)는 소프트웨어의 요구에 대한 형식화된 표현을 위하여 이중의 계층구조를 가지도록 했는데, 첫째 계층은 목적하는 System의 요구에 대한 개념적 모형을 구성하는것을 의미하며, 이를 위한 요구분석용 언어(SLSA)가 Entity-Relationship Approach에 기반을 두어 설계 되었다. 또한 SLSA 를 사용하는데 방법론적인 지침을 주기위해 SLSA를 구조적분석 방법론에 직접 연관되게 설계되었다.
두 번째 계층은 SLSA에 의해 표현된 요구들에 대한 Data Base를 구성하는 것을 의미하는데, 이를 위하여 Prolog 언어를 이용 하였다.