(A) prolog-based tool for analyzing software requirements

Abstract

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.