In order to determine if a textual description provides enough information for an implementation without ambiguities, an analysis of the additional information provided by a data-flow implementation is needed. The analysis should determine if a data-flow design overview provides enough information that eliminates all the presumed ambiguities.