Mathematical Representations of the Architecture of Graphical User Interfaces

This text is an introduction to mathematical representations of graphical user interfaces, GUIs. Vectors are employed as a means to represent the state of a GUI and the user interaction with a GUI. These representations form a model of the behavior of a GUI over time. The usefulness of the model in testing and developing well-behaved GUIs is discussed and demonstrated by example.