On Decomposition Theory: Generalized Dependence
- 1 January 1981
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics
- Vol. 11 (10) , 699-713
- https://doi.org/10.1109/tsmc.1981.4308590
Abstract
Although system decomposition is a fundamental tool of systems theory, no theory exists that unifies its many manifestations. The beginnings of such a theory are proposed here. The goal of this theory is to understand the structure of decompositions of large complex systems. In particular, it is to uncover those structural features that are implicit in each specific method of decomposition. The key assumption is that any system decomposition is based, either explicitly or implicitly, on some concept of dependence. Therefore, study of decomposition becomes enmeshed with the study of dependence. Three aspects of system decomposition are emphasized. First, various kinds of dependence are employed in system decomposition. Second, refinement of a decomposition to obtain a new one is an important part of decomposition. Third, shifts in point of view and level of detail can lead to different decompositions. No attempt is made to cover all aspects of decomposition theory. Rather, attention is focused on developing some properties of generalized dependences. A number of examples are presented showing the applicability of the ideas presented here to a variety of systems. These include relational data bases, finite-state machines, cognitive maps, Petri nets, and vector processor computation.Keywords
This publication has 7 references indexed in Scilit:
- Petri NetsACM Computing Surveys, 1977
- An Introduction to Matroid TheoryThe American Mathematical Monthly, 1973
- The greedy algorithm for finitary and cofinitary matroidsProceedings of Symposia in Pure Mathematics, 1971
- Independence with respect to a family of mappingsColloquium Mathematicum, 1969
- Matroids and dualityColloquium Mathematicum, 1969
- General algebraic dependence structures and some applicationsColloquium Mathematicum, 1966
- Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machinesTransactions of the American Mathematical Society, 1965