1. A method for providing a graphical state diagram model related to a graphical user interface, the method comprising the steps of: providing a graphical user interface comprising one or more graphical elements; and generating, from the graphical user interface, a graphical state diagram model that is related to the graphical user interface.