We present a "lightweight" visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, testing and documenting the 'front-end' ...