Ward and Mellor Extensions
Ward and Mellor Extensions
Ward and Mellor [WAR85] extend basic structured analysis notation to Accommodate the following demands imposed by a real -time system: Information flow is gathered or produced on a time continuous basis. Control information is passed throughout the system and associated control processing. Multiple instances of the same transformation are sometimes encountered in multitasking situations. Systems have states and a mechanism causes transition between states.
The double headed arrow is used to represent time continuous flow while a single headed arrow is used to indicate discrete data flow. In the figure, monitored temperature is measured continuously while a single value for temperature set point is also provided. The process shown in the figure produces a time-continuous output, corrected value.
Data flow diagrams are used to represent data and the processes that manipulate it. Control flow diagrams show how events flow among processes and illustrate those external events that cause various processes to be activated. A data condition occurs whenever data input to a process result in control output. The control specification (CSPEC) contains a number of important modeling tools.
Data Conditions