Hi Kimbo:
I am currently working on project to standardize operations between engineering and manufacturing groups.
It is extremely important not to think that functional decomposition and process decomposition are two seperate things. Again, data flow diagrams can be used to model entirely manual processes accomplished by business people - totally without the aid of computers.
You are right in saying that structuring random requirements into a structured, concise set of functions is what BAs do. And with Data Flow Diagrams, at the lower levels of a decomposition, we transition from none-sequential diagrams (i.e., data flow diagrams) into sequtial diagrams (i.e., BPM like diagrams). At the more detailed level, a sequential process exists. But, especially for larger scale systems, at the higher levels of a decomposition, systems are characterized as having processes that can occur in any order or even all at the same time - there is no identifiable sequence.
For an example of what I am referring to, look at the BABOK 2.0. The BABOK 2.0 is essentially a functional spec on how to create a functional spec. It has the signoff of the "experts" (the people who lay claim to setting a gobal certification for BAs). As is discussed in the first parts of the BABOK 2.0, the handbook is organized around sequence independent input/process/output diagrams because the processes that it talks about can occur in any order - that is there is no identifiable sequence for them. (An obvious question is why did they use poor-man's data flow diagrams (i.e., non-integrated data flow diagrams), but that is an entirely different thing.)
And the scope of processes that the BABOK 2.0 covers is really not all that extensive. For an larger scale systems effort, the non-sequential nature of the systems processes/functions at higher levels of abstraction is much, much more evident.
Analysts often say that UML techniques can be used to accomplish a decomposition just as easy as with Data Flow Diagrams. That is saying that a forced, artifical decomposition is just as good as a logical, natural decomposition. I strongly disagree.
Tony