Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

Use of dominators in the partitioning of software for a distributed computing system

Thesis/Dissertation ·
OSTI ID:5402000
A graph theoretic approach is presented that provides a method of partitioning a software system during the design phase of software development. The topology and behavior of software systems are illustrated in the form of software structures, which are represented as cyclic and acyclic flowgraphs. The flowgraphs (graphical structures), which depict precedence relationships, are transformed into trees (hierarchical structures), which represent concurrent processing, by the use of the dominator concept. In order to provide a formal and disciplined methodology for the partitioning process, partitioning theorems identify predecessor-successor and concurrent relationships, based on the dominance relations between vertices of a flowgraph. The principles of both vertical partitioning and horizontal partitioning are utilized through the application of the partitioning theorems to the flow graphs and dominator trees.
Research Organization:
Alabama Univ., Huntsville (USA)
OSTI ID:
5402000
Country of Publication:
United States
Language:
English