Strategies for Real-Time System Specification

Chapter 12. Developing the Model’s Structure

In this chapter, we continue our discussion of building the requirements model by considering the steps necessary to put together the whole structure of data and control flow diagrams. We cover issues of abstraction and decomposition in both processes and flows, naming processes and flows, use of stores, the role of the control model and restrictions on its use, and the proper place of the whole model in the development process. The flow diagram structure is the core of the model on which are based the process specifications, control specifications, timing specifications, and dictionary.

12.1 Abstraction and Decomposition

We first introduced the terms abstraction and decomposition in Part II, and ...