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

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1988
Accession Number
ADA202725

Entities

People

  • Dong H. Jung

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Application Software
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Expert Systems
  • Inference Engines
  • Information Systems
  • Knowledge Based Systems
  • Operating Systems
  • Plastic Explosives
  • Programming Languages
  • Software Development
  • Software Testing
  • Trees (Data Structures)

Fields of Study

  • Engineering

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Molecular and Cellular Biology