Chapter 9. Requirements Model Interpretation and Summary
9.1 The Requirements Model Interpreted
In Section 4.8, we described the properties of the process model represented by the basic structured analysis method, and illustrated the primitive network concept. We have now described the control structure that has been added to the basic method, and here we will discuss how this extension affects the model.
The idea of an idealized, infinitely fast model is still retained. In this respect, the control structure is very similar to the data structure: CSPECs and PSPECs both convert their inputs to their outputs the instant those inputs occur. Likewise, a process is active the instant the activator from its CSPEC goes from False to True.
The primitive ...
Get Strategies for Real-Time System Specification now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
