Extensions to the PUIST user interface specification tool

PUIST is a specification tool that is being created for software development. It assists user interface designers to specify the static form and dynamic behaviour of graphical user interfaces (GUI) using a Petri net based model. We describe extensions made to increase the modelling power of PUIST and to make it more practical. Hierarchical specifications have been introduced to PUIST which make modular design, specification reuse and top down design possible. Two special types of arc and one special type of transition have also been introduced to PUIST to extend the range of the dynamic behaviours PUIST can specify. In particular the dynamic behaviours of a menu can now be precisely specified.

[1]  Jorge C. A. de Figueiredo,et al.  Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems , 1993, Application and Theory of Petri Nets.

[2]  Richard E. Fairley,et al.  Software engineering concepts , 1985, McGraw-Hill series in software engineering and technology.

[3]  Chris Phillips,et al.  Lean Cuisine+: An Executable Graphical Notation for Describing Direct Manipulation Interfaces , 1995, Interact. Comput..

[4]  Heinz Oswald,et al.  An environment for specifying and executing hierarchical Petri nets , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Luqi.  Software evolution through rapid prototyping , 1989, Computer.

[7]  P. David Stotts,et al.  Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.

[8]  Mark D. Apperley,et al.  Lean Cuisine: A Low-Fat Notation for Menus , 1989, Interact. Comput..

[9]  Xiaosong Li,et al.  Petri net based graphical user interface specification tool , 1994, Proceedings Software Education Conference (SRIG-ET'94).

[10]  John Grundy,et al.  Multiple textual and graphical views for interactive software development environments , 1993 .

[11]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.