? Principles to Support Modular Software Construction
Journal of Computer Science and Technology
Quick Search in JCST
 Advanced Search 
      Home | PrePrint | SiteMap | Contact Us | FAQ
Indexed by   SCIE, EI ...
Bimonthly    Since 1986
Journal of Computer Science and Technology 2017, Vol. 32 Issue (1) :3-10    DOI: 10.1007/s11390-017-1702-6
Special Section on Dataflow Architecture Current Issue | Archive | Adv Search << Previous Articles | Next Articles >>
Principles to Support Modular Software Construction
Jack B. Dennis, Fellow, ACM, IEEE
Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge MA 02139, U.S.A

Related Articles
Download: [PDF 163KB]     Export: BibTeX or EndNote (RIS)  
Abstract The construction of large software systems is always achieved through assembly of independently written components-program modules. For these software components to work together, they must share a common set of data types and principles for representing structured data such as arrays of values and files. This common set of tools for creating and operating on data objects is provided by the infrastructure of the computer system:the hardware, operating system and runtime code. Because the nature and properties of these tools are crucial for correct operation of software components and their inter-operation, it is essential to have a precise specification that may be used for verifying correctness of application software on one hand, and to verify correctness of system behavior on the other. We call such a specification a program execution model (PXM). It is evident that the properties of the PXM implemented by a computer system can have serious impact on the ability of application programmers to practice modular software construction. This paper discusses the concept of program execution models and presents a set of principles that a PXM must satisfy to provide a sound basis for modular software construction. Because parallel program execution on computer systems with many processing units is an essential part of contemporary computing environments, the expression of parallelism and modular software construction using components involving parallel operations is included in this treatment. The conclusion is that it is possible to build computer systems that implement a PXM within which any parallel program may be used, unmodified, as a component for building more substantial parallel programs.
Articles by authors
Jack B. Dennis
Keywordsprogram execution model   data flow model   codelet   abstract architecture   parallel computing     
Received 2016-12-14;

The research results reported here were supported in part by the National Science Foundation (NSF) of USA under Award 12-17498.

About author: Jack B. Dennis is Professor of Computer Science and Engineering, Emeritus, at Massachusetts Institute of Technology (MIT). Prof. Dennis received his education at MIT, completing the undergraduate degree program in electrical engineering and earning the doctorate in 1958 for a thesis entitled "Mathematical Programming and Electrical networks" that links the two fields of operations research and electrical circuits. He joined the MIT faculty in the Department of Electrical Engineering and was appointed full professor in 1969. He is widely known for his contributions in the field of computer system architecture, in particular virtual memory concepts, data flow models of computing, and computer system designs that embody these ideas. Since 1987 he has been working as an independent consultant and research scientist on projects that involve parallel computer hardware and software and their interaction. Professor Dennis has guided the doctoral research of more than 25 MIT graduate students. He has been an organizer of major professional conferences, and has served many times on program committees and as a reviewer of technical papers. He is currently an active member of IFIP Working Group 2.8:Functional Programming. Prof. Dennis is a member of the National Academy of Engineering, and was awarded the ACM/IEEE Eckert-Mauchly Award for 1984. He is a Fellow of the ACM and IEEE. In 2012 Prof. Dennis was awarded the IEEE John von Neumann Medal "for fundamental abstractions to implement protection in operating systems and for the dataflow programming paradigm".
Cite this article:   
Jack B. Dennis.Principles to Support Modular Software Construction[J]  Journal of Computer Science and Technology, 2017,V32(1): 3-10
Copyright 2010 by Journal of Computer Science and Technology