Design of a Syntax Validation Tool for Requirements Analysis Using Structured Analysis and Design Technique (SADT)

摘要

This thesis investigation presents the prototype development of a validation tool for checking the syntax of Structured Analysis and Design Technique (SADT) method from a structured analysis diagram. The tool provides the requirements analyst and the designer with an environment for checking the SADT syntax of an SADT diagram. The tool is operated through the use of an SADT Editor which was developed by Steven E. Johnson at the Air Force Institute of Technology (AFIT). The validation tool was developed in three phases. During the first phase the formal definition of the SADT graphical language was derived using Predicate Logic representation. During the second phase, the SADT Editor was analyzed and the interface issues with the software were identified. Thus, the graphical features were translated. During the third phase, the syntax rules were identified according to the formal definition of the SADT methodology using Predicate Logic representation. The new tool was implemented into a knowledge-based system to ease the extension of the syntax rules, to add knowledge of the SADT graphical structure and to add domain knowledge of an application system developed by the SADT methodology. Theses. (AW)