STRUCTURED ANALYSIS AND GENERATION OF REQUIREMENTS

INADEQUATE UNDERSTANDING OF THE TARGET PROBLEM OFTEN LEADS TO INCORRECT REQUIREMENTS AND SPECIFICATIONS FOR PROGRAMMINGPROJECTS, ESPECIALLY FOR DISTRIBUTED SYSTEMS. ERRORS ARE DISCOVERED LATE AND COSTLY REVISIONS ENSUE. MODELLING THE PROBLEM DOMAIN WITH FLEXIBLE AND RELATIVELY INEXPENSIVE PROTOTYPES CAN LEAD TO PROPER REQUIREMENTS AND SUBSTANTIAL CONSEQUENT SAVINGS.. THUS THERE IS STRONG DEMAND FOR POWERFUL SYSTEMS SUPPORTING PROBLEM ANALYSIS AND PROTOTYPING. APPLIED LOGIC SYSTEMS, INC., PROPOSES A FEASIBILITY STUDY OF A GRAPHIC WORKSTATION-BASED PROTOTYPINGSUPPORT SYSTEM WHICH PROVIDES SUPPORT FOR CREATION OF STRUCTURED ANALYSIS DATA-FLOW DIAGRAMS AND THEIR TRANSLATION TO EXECUTABLE COROUTINED PROLOG PROGRAMS. IT WILL ALSO PROVIDE TRACEABLE EXECUTION OF THE PROGRAMS AND PROVIDE POWERFUL SUPPORT FOR REVISION AND EXPERIMENTATION, WILL ALLOW INCORPORATION OF DOMAIN-SPECIFIC KNOWLEDGE, AND PROVIDE INTERFACES TO EXTERNAL DBMSS. THE SYSTEM WILL BE BUILT USING A HIGH-SPEED INCREMENTAL PROLOG COMPILER ALREADY SUPPLYING ACCESS TO EXTERNAL DBMSS AND REMOTE COMMUNICATION.