Chapter 3State Transition Logic
The organizational structure described in this paper is an adaptation of state transition logic. This adaptation provides for implementation of the structural principles enumerated earlier. Documentation development is integrated with the software specification procedure, the software produced is inherently modular, and audit trail information can be produced automatically. By extending the transition logic paradigm to cover the entire realm of real-time requirements, two important results are achieved:
• The discipline associated with following a formal design paradigm is extended to the low level as well as high level software tasks.
• It becomes possible to produce portable code, that is, code which ...