Expert System in Software Engineering Using Structured Analysis and Design Technique (SADT)
Abstract
This thesis effort focuses on designing and implementing the Knowledge-Based Software Assistant System (KBSAS) for the Structured Analysis Design Technique (SADT) method developed by Softech, Inc. A Graphics Editor is used to create specific Structured Analysis (SA) diagrams and a graphical symbol syntax is derived from these diagrams. The development of the KBSAS is divided into two parts: the design and implementation of a graphics translator and an application of a knowledge-based system for syntax checking. First, the objective of the translator is to map a subset of the graphical symbol syntax from a SA diagram into the first order predicate calculus. The SA diagram information is represented in a set of predicate data forms. Secondly, the objective of a knowledge-based system is to evaluate adherence to proper SADT syntax. This is accomplished by generating SA rules associated with either an activity box or boundary arrows. The requirements analyst and the designer are provided with a means of recovering from a graphical symbol syntax error(s) through a display window. Specific emphasis focuses on a comprehensive mapping of the graphical symbol syntax to predicate logic as well as development of an application of a rule-based system using this capability.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1990
- Accession Number
- ADA223022
Entities
People
- Intaek Kim
Organizations
- Air Force Institute of Technology