Use of the concept of transparency in the design of hierarchically structured systems

ABSTRACT

This paper deals with the design of hierarchically structured programming systems. It develops a method for evaluating the cost of requiring programmers to work with an abstraction of a real machine. A number of examples from hardware and software are given as illustrations of the method.

REFERENCES

• 1: Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
• 2: Dijkstra, E.W. Notes on structured programming. Report of the Technische Hoogschool Eindhoven, Eindhoven, The Netherlands.
• 3: Parnas, D.L., and Darringer, J.A. SODAS and a methodology for system design. Proc. AFIPS 1967 FJCC, Vol. 31, AFIPS Press Montvale, N.J., pp. 449-474.
• 4: Zurcher, F.W., and Randell, B. Multi-level modeling--A " methodology for computer system design. Proc. IFIP Cong. 1968.
• 5: Parnas, David L. More on simulation languages and design methodology for computer systems. Proc. AFIPS 1969 SJCC, Vol. 34, AFIPS Press, Montvale, N.J., pp. 739-743.
• 6: Gill, S. Thoughts on the sequence of writing software. In Software Engineering, report of a conference in Garmisch, Germany, Oct. 1968.
• 7: Parnas, D.L. Information distribution aspects of design methodology. Proc. IFIP Cong. 1971.
• 8: Braden, et al. An implementation of MVT. UCLA report.
• 9: D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
• 10: Edsger Wybe Dijkstra, Cooperating Sequential Processes, Technical Report EWD-123, 1965
• 11: Saltzer, G. Traffic control in a multiplexed computer system. MIT Thesis.
• 12: Per Brinch Hansen, The nucleus of a multiprogramming system, Communications of the ACM, v.13 n.4, p.238-241, April 1970 [doi>10.1145/362258.362278]
• 13: Hansen, P.B., RC4000 Reference Manual. Regnecentralen, Copenhagen, Denmark.
• 14: Hansen, P.B., private discussions.
• 15: C. Gordon Bell , A. C. Newell, Computer structures: Readings and examples (McGraw-Hill computer science series), McGraw-Hill Pub. Co., 1971
• 16: Patil, S.S. Limitations and capabilities of Dijkstra's semaphore primitives for coordination among processes. Proj. MAC, Computat. Structures Group Memo 57, Feb. 1971.
• 17: D. L. Parnas, On a solution to the cigarette smoker's problem (without conditional statements), Communications of the ACM, v.18 n.3, p.181-183, March 1975 [doi>10.1145/360680.360709]
• 18: D. L. Parnas, A technique for software module specification with examples, Communications of the ACM, v.15 n.5, p.330-336, May 1972 [doi>10.1145/355602.361309]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques
          Subjects: Structured programming

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.1 Process Management
          Subjects: Synchronization

General Terms:
Design, Performance, Theory

Keywords:
bottom up design, hierarchical systems, levels of abstraction, synchronization primitives