The Process Model

This section combines and refines the results of Sections 9 and 10. The synthesis of the model to de derived here (the PROCESS MODEL) will be largely based on informal reasoning, followed by formal verification. In order to carry out this design cycle, we have to indicate its associated decision, its specification, and its knowledge attribute.