Software for building a block diagram representation of a system includes instructions for defining a propagation block having an input port for receiving information indicative of an attribute set of an input signal and an output port for providing information indicative of an attribute set of an output signal on the basis of the attributes of the input signal. The software includes instructions for associating, with the propagation block, a rule-set for determining the output attribute set on the basis of the input attribute-set.