Extensions to the PUIST user interface specification tool

Author

Li, Xiaosong ; Mugridge, Rick

Author_Institution

Dept. of Comput. Sci., Auckland Univ., New Zealand

fYear

1996

fDate

24-27 Jan 1996

Firstpage

416

Lastpage

423

Abstract

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

Keywords

Petri nets; formal specification; graphical user interfaces; software reusability; software tools; user interface management systems; Petri net based model; dynamic behaviour; dynamic menu behaviour; extended PUIST user interface specification tool; graphical user interfaces; hierarchical specifications; modelling; modular design; software development; specification reuse; static form; top down design; user interface designers; Computer science; Feedback; Graphical user interfaces; Petri nets; Programming profession; Prototypes; Software prototyping; Switches; User interfaces; Vehicle dynamics;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering: Education and Practice, 1996. Proceedings. International Conference

Conference_Location

Dunedin

Print_ISBN

0-8186-7379-6

Type

conf

DOI

10.1109/SEEP.1996.534029

Filename

534029