Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development

ABSTRACT

The Model II language and the associated program generator are used to explain and illustrate the use of very high level nonprocedural languages for computer programming. The effect of a very high level language is obtained in Model II through the elimination of procedural and control facilities that exist in high level programming languages such as PL/I or Cobol. In particular, the statements may be given in any order and there are no control constructs such as input/output, iterations, and memory allocation. The task of ordering the statements for execution and providing control statements is performed by the automatic program generator. The specification of a program is therefore much shorter (approximately one-fifth) than the equivalent high level procedural language program. Most important, a user need not regard the task of specifying a program as defining a process but rather as describing data and relations. This point of view greatly reduces the computer programming proficiency required of a user. The paper focuses on an example of the use of the language in business data processing, its advantages, and its novelty. It only briefly reviews the methodology incorporated in the existing program generator, a detailed description of which may be found in the references.

REFERENCES

• 1: Jacques J. Arsac, Syntactic source to source transforms and program manipulation, Communications of the ACM, v.22 n.1, p.43-54, Jan. 1979 [doi>10.1145/359046.359057]
• 2: E. A. Ashcroft , W. W. Wadge, Lucid, a nonprocedural language with iteration, Communications of the ACM, v.20 n.7, p.519-526, July 1977 [doi>10.1145/359636.359715]
• 3: BALZER, R. Automatic programming. Tech. Memo., Information Science Institute, U. of Southern California, Marina Del Rey, Calif., 1972.
• 4: BIERMANN, A.W. Approaches to automatic programming. In Advances in Computers, Vol. 15, M. Rubinoff and M. Yovits, Eds., Academic Press, New York, 1976, pp. 16-40.
• 5: CHAMBERLIN, D.D. The "single-assignment" approach to parallel processing. Proc. Fall Joint Computer Conf., AFIPS Press, 1971, pp. 263-269.
• 6: Jorge Leay Gana, Use and extension of an automatic program generator for model building in social and engineering sciences., 1978
• 7: GOLDBERG, P. Automatic programming. In Lecture Notes in Computer Science, 17ol. 23, Springer- Verlag, New York, 1975.
• 8: John Guttag, Abstract data types and the development of data structures, Communications of the ACM, v.20 n.6, p.396-404, June 1977 [doi>10.1145/359605.359618]
• 9: Michael Hammer , W. Gerry Howe , Vincent J. Kruskal , Irving Wladawsky, A very high level programming language for data processing applications, Communications of the ACM, v.20 n.11, p.832-840, Nov. 1977 [doi>10.1145/359863.359886]
• 10: HOFFMAN, C.M. Design and correctness of a compiler for a nonprocedural language. Acta Informatica 9 (1978), 217-241.
• 11: Eugene D. Homer, An algorithm for selecting and sequencing statements as a basis for a problem-oriented programming system, Proceedings of the 1966 21st national conference, p.305-312, January 1966 [doi>10.1145/800256.810709]
• 12: KENNEDY, K., AND SCHWARTZ, J. An introduction to the set theoretical language SETL. Comput. Math. with Appl. i (1975), 97-119.
• 13: LEAVENWORTH, B.M. Nonprocedural data processing. Comptr. J. 20, I (1977), 6-9.
• 14: Burt M. Leavenoworth , Jean E. Sammet, An overview of nonprocedural languages, Proceedings of the ACM SIGPLAN symposium on Very high level languages, p.1-12, March 28-29, 1974, Santa Monica, California, United States
• 15: MANNA, Z., AND WALOrNGER, R.J. The logic of computer programming. IEEE Trans. Software Engineering SE-4, 3 (March 1978), 199-224.
• 16: D. McCaracken , Umberto Garbassi, A Guide to COBOL Programming, John Wiley & Sons, Inc., New York, NY, 1970
• 17: Office of Planning and Research, Internal Revenue Service, Automatic generation of computer programs for converting transmitter data to IRS tape standards--phase I report. Contract TiR- 77-62, Washington, D.C., 1977.
• 18: Office of Planning and Research, Internal Revenue Service, MODEL II--automatic program generator, user manual. Revision for version 3, contract TIR-77-41, July 20-24, 1978.
• 19: Office of Planning and Research, Internal Revenue Service, MODEL II--programming documentation, version 3. Contract TIR-77-41, Washington, D.C., Jan. 1978.
• 20: PRYWES, N.S. Automatic generation of computer programs. In Advances in Computers, Vol. 16, M. Rubinoff and M. Yovits, Eds., Academic Press, New York, 1977.
• 21: Jesus Arturo Ramirez, Automatic generation of data conversion-programs using a data description language (ddl), 1973
• 22: N. Adam Rin, Automatic generation of business data-processing programs from a non-procedural language., 1976
• 23: S. Schlesinger , L. Sashkin, POSE: a language for posing problems to a computer, Communications of the ACM, v.10 n.5, p.279-285, May 1967 [doi>10.1145/363282.363298]
• 24: Subramanya Kolpe Shastry, Verification and correction of non-procedural specifications in automaticgeneration of programs., 1978
• 25: SHASTRY, S., PNUELI, A., AND PRYWES, N. Basic algorithms used by the MODEL system for design of programs. Moore School Rep., Dep. of Computer and Information Science, U. of Pennsylvania, Philadelphia, Pa., Feb. 1979.
• 26: TESLER, L.G., ANO ENEA, H.J. A language design for concurrent processes. Proc. Spring Joint Computer Conf., AFIPS Press, 1968, pp. 403-408.
• 27: WOLVERTON, R.W. The cost of developing large scale software, iEEE Trans. Cornptr. C-23, 6 (June 1974), 615-636.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Languages

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Languages, Performance, Theory