It seems to me that in a statically typed, object oriented language, there is a striking similarity to wiring diagrams.  Wires (objects) of type $X$ go into functions (boxes) of input type $X$.  Is the corresponding string calculus that of a symmetric monoidal category?