A development strategy of user navigation systems and GUI applications

GUIs (graphical user interfaces) have been developed to make applications easier to use. However, effective methods to support the development process for GUI-based applications are highly required as applications have become increasingly complex. As the supporting methods, we propose a representation technique to suitably describe the structure of an application using Petri nets. The technique supports all development activities of GUI-based applications during the analysis, design and implementation stage. On the other hand, concise explanations are indispensable to easily use complex applications and to help achieve a user´s intended actions. We also present a user navigation method for changing messages depending on the present state of the Petri net based application