Software product line for semantic specification of block libraries in dataflow languages