it is in fact very helpful to model out your error states, esp. if you can see it on a screen in some sort of flow. this is why people do modelling, to understand better what you want to code.

But you are right, there are many things that are difficult to express graphically (at the moment) but I think this can be solved in the near future