Nassi-Shneiderman diagram

From Wikipedia, the free encyclopedia

A Nassi-Shneiderman diagram is a graphical design representation for structured programming. Developed in 1972 by Isaac Nassi and Ben Shneiderman, these diagrams are also called structograms, as they show a program's structures.

Following a top-down design, the problem at hand is reduced into smaller and smaller subproblems, until only simple statements and control flow constructs remain. Nassi-Shneiderman diagrams reflect this top-down decomposition in a straight-forward way, using nested boxes to represent subproblems. Consistent with the philosophy of structured programming, Nassi-Shneiderman diagrams have no representation for a GOTO statement.

When Shneiderman initially submitted his idea to Communications of the ACM, the rejection letter read, "I feel that the best thing the authors could do is collect all copies of this technical report and burn them, before anybody reads them."

Nassi-Shneiderman diagrams are only rarely used. Their abstraction level is close to structured program code and modifications require the whole diagram to be redrawn.

Nassi-Schneiderman diagrams are (almost) isomorphic with flowcharts. Everything you can represent with a Nassi-Schneiderman diagram you can also represent with a flowchart. For flowcharts of programs, just about everything you can represent with a flowchart you can also represent with a Nassi-Schneiderman diagram. The exceptions are things like goto, and the C programming language loop break and continue statements.


Contents

[edit] Diagrams

Main Article: N-S diagrams

Process Blocks The process block represents the simplest of steps and requires no analyses. When a process block is encountered the action inside the block is performed and we move onto the next block.

Process Blocks
Enlarge
Process Blocks

Branching Blocks There are two types of branching blocks. First is the simple True/False or Yes/No branching block which offers the program two paths to take depending on whether or not a condition has been fulfilled. These blocks can be used as a looping procedure stopping the program from continuing until a condition has been fulfilled.

True/False Branching Blocks
Enlarge
True/False Branching Blocks

The second type of branching block is a multiple branching block. This block is used as a select case is needed in a program. The block usually contains a question or select case. The block provides the program with an array of choices and is often used in conjunction with sub process blocks to save space.


True/False Branching Blocks
Enlarge
True/False Branching Blocks

Testing Loops

This block allows the program to loop one or a set of process until a particular condition is fulfilled. The process blocks covered by each loop are subset with a side-bar extending out from the condition.

There are two main types of testing loops, test first and test last blocks. The only difference between the two is the order in which the steps involved are completed. In the test first situation, when the program encounters the block it tests to see if the condition is fulfilled, then, if it is not completes the process blocks and then loops back. The test is performed again and, if the condition is still unfulfilled, the processes again. If at any stage the condition is fulfilled the program skips the process blocks and continues onto the next block.

Test First Loop Block
Enlarge
Test First Loop Block

The test last block is simply reversed, the process blocks are completed before the test is performed. The test last loop allows for the process blocks to be performed at least once before the first test.

Test Last Loop Block
Enlarge
Test Last Loop Block

[edit] Literature

Nassi, I.; Shneiderman, B.: Flowchart techniques for structured programming, SIGPLAN Notices XII, August 1973.

[edit] Software

[edit] External links


In other languages