Part 4: Consistency between functional and logical architectures

Maintaining bidirectional consistency as the functional decomposition is allocated to a logical breakdown.