A decomposition process executed in the functional domain. The completeness criterion is to show that the sub-functions (“child functions”) effect the state change (or maintenance) that spans the function being decomposed (“parent function”). Re-parameterization of the system’s state vector is an acceptable means of demonstrating completeness, provided that the re-parameterization is at-least-locally1 deterministic2 in both directions.
A functional decomposition was one of the two methods of grouping “lower tier requirements” in a Prime Item B Specification, the other being a Physical Decomposition.
Footnotes