Manipulating logical organization with system factorizations

Abstract

Logical organization refers to a system’s decomposition into functional units, processes, and so on; it is sometimes called the ‘structural’ aspect of system description. In an approach to digital synthesis based on functional algebra, logical organization is developed using a class of transformations called system factorizations. These transformations isolate subsystems and encapsulate them as applicative combinators. Factorizations have a variety of uses, ranging from the refinement of actual architecture to the synthesis of certain kinds of verification conditions. This paper outlines the foundations for this algebra and presents several examples.